the zip is not a oilfish.
sent1: there is something such that it does not Frenchify dumpcart. sent2: if the hypnotist trips canyon the zip trips tract. sent3: the hypnotist does trip canyon if the tract is a kind of an intoxication. sent4: if the tract Frenchifies Cicindelidae then the hypnotist does trip canyon. sent5: that the tract Frenchifies Cicindelidae and/or is an intoxication is not false if there exists something such that it is vasomotor. sent6: if something trips tract it is a oilfish. sent7: the cotton is vasomotor if the cubitiere is spicate. sent8: that the cubitiere is a kind of non-spicate thing that does not miscarry centner does not hold if something does not Frenchify dumpcart. sent9: there exists something such that it does Frenchify dumpcart. sent10: that the cubitiere is a kind of spicate thing that does not miscarry centner is not right. sent11: if that the cubitiere is not spicate and it does not miscarry centner is incorrect then the cotton is vasomotor.
sent1 & sent8 -> int1: that that the cubitiere is non-spicate thing that does not miscarry centner is not correct hold.; int1 & sent11 -> int2: the cotton is vasomotor.; int2 -> int3: there exists something such that it is vasomotor.; int3 & sent5 -> int4: either the tract Frenchifies Cicindelidae or it is a kind of an intoxication or both.; int4 & sent4 & sent3 -> int5: the hypnotist trips canyon.; int5 & sent2 -> int6: the zip does trip tract.; sent6 -> int7: the zip is a oilfish if it does trip tract.; int6 & int7 -> hypothesis;
$hypothesis$ = the zip is not a oilfish. ; $context$ = sent1: there is something such that it does not Frenchify dumpcart. sent2: if the hypnotist trips canyon the zip trips tract. sent3: the hypnotist does trip canyon if the tract is a kind of an intoxication. sent4: if the tract Frenchifies Cicindelidae then the hypnotist does trip canyon. sent5: that the tract Frenchifies Cicindelidae and/or is an intoxication is not false if there exists something such that it is vasomotor. sent6: if something trips tract it is a oilfish. sent7: the cotton is vasomotor if the cubitiere is spicate. sent8: that the cubitiere is a kind of non-spicate thing that does not miscarry centner does not hold if something does not Frenchify dumpcart. sent9: there exists something such that it does Frenchify dumpcart. sent10: that the cubitiere is a kind of spicate thing that does not miscarry centner is not right. sent11: if that the cubitiere is not spicate and it does not miscarry centner is incorrect then the cotton is vasomotor. ; $proof$ = 
sent1 & sent8 -> int1: that that the cubitiere is non-spicate thing that does not miscarry centner is not correct hold.; int1 & sent11 -> int2: the cotton is vasomotor.; int2 -> int3: there exists something such that it is vasomotor.; int3 & sent5 -> int4: either the tract Frenchifies Cicindelidae or it is a kind of an intoxication or both.; int4 & sent4 & sent3 -> int5: the hypnotist trips canyon.; int5 & sent2 -> int6: the zip does trip tract.; sent6 -> int7: the zip is a oilfish if it does trip tract.; int6 & int7 -> hypothesis; __DISPROVED__