the fact that there is something such that it does not knot quintal and it is a Menotyphla is not true.
sent1: the saccharin is a Beckett. sent2: if that the vanadinite is a kind of a tugboat that is not a dressmaker is not right then the co-star is a ninth. sent3: the saccharin is a tugboat that is a Beckett. sent4: there is something such that it is a Menotyphla. sent5: if the co-star is a ninth the neutron does not knot quintal. sent6: the neutron does not knot quintal. sent7: something does not knot quintal. sent8: the vanadinite is an altitude. sent9: if the saccharin is a tugboat then that the vanadinite is a kind of a tugboat that is a kind of a dressmaker is incorrect. sent10: if the saccharin is a tugboat the fact that the vanadinite is a tugboat but it is not a dressmaker is not right. sent11: the neutron is a tugboat. sent12: the fact that the neutron does knot quintal and it is a ninth is not correct if the co-star does knot quintal. sent13: something knots quintal and is a Menotyphla. sent14: the co-star is a kind of a ninth if the vanadinite is a dressmaker. sent15: if the co-star is a ninth then the neutron does not knot quintal but it is a Menotyphla. sent16: the vanadinite is a tugboat if that the saccharin is a dressmaker is not wrong. sent17: the fact that the vanadinite is a tugboat and is a dressmaker is not correct.
sent3 -> int1: the saccharin is a tugboat.; sent10 & int1 -> int2: the fact that the vanadinite is a kind of a tugboat but it is not a dressmaker is false.; sent2 & int2 -> int3: the co-star is a ninth.; sent15 & int3 -> int4: the neutron does not knot quintal and is a Menotyphla.; int4 -> hypothesis;
$hypothesis$ = the fact that there is something such that it does not knot quintal and it is a Menotyphla is not true. ; $context$ = sent1: the saccharin is a Beckett. sent2: if that the vanadinite is a kind of a tugboat that is not a dressmaker is not right then the co-star is a ninth. sent3: the saccharin is a tugboat that is a Beckett. sent4: there is something such that it is a Menotyphla. sent5: if the co-star is a ninth the neutron does not knot quintal. sent6: the neutron does not knot quintal. sent7: something does not knot quintal. sent8: the vanadinite is an altitude. sent9: if the saccharin is a tugboat then that the vanadinite is a kind of a tugboat that is a kind of a dressmaker is incorrect. sent10: if the saccharin is a tugboat the fact that the vanadinite is a tugboat but it is not a dressmaker is not right. sent11: the neutron is a tugboat. sent12: the fact that the neutron does knot quintal and it is a ninth is not correct if the co-star does knot quintal. sent13: something knots quintal and is a Menotyphla. sent14: the co-star is a kind of a ninth if the vanadinite is a dressmaker. sent15: if the co-star is a ninth then the neutron does not knot quintal but it is a Menotyphla. sent16: the vanadinite is a tugboat if that the saccharin is a dressmaker is not wrong. sent17: the fact that the vanadinite is a tugboat and is a dressmaker is not correct. ; $proof$ = 
sent3 -> int1: the saccharin is a tugboat.; sent10 & int1 -> int2: the fact that the vanadinite is a kind of a tugboat but it is not a dressmaker is false.; sent2 & int2 -> int3: the co-star is a ninth.; sent15 & int3 -> int4: the neutron does not knot quintal and is a Menotyphla.; int4 -> hypothesis; __DISPROVED__