that the ark does not blubber if the antlion is a kind of a tabletop is not right.
sent1: the audiometer does not debar craftiness. sent2: the ark is a blubber. sent3: if something is a kind of a tabletop that is a pliancy it is not a Bankhead. sent4: the coldness debars craftiness if there exists something such that it untunes Pieridae. sent5: if there exists something such that that it does not untune Pieridae and is a wide-body is wrong then the coldness does debar craftiness. sent6: there exists something such that that it does not untune Pieridae and it is a wide-body is not right. sent7: the tetrahydrocannabinol debars craftiness. sent8: the ark is a kind of a blubber if the antlion is a kind of a tabletop. sent9: that the antlion is a Bankhead is true if the tetrahydrocannabinol is not a pliancy but it does debar craftiness. sent10: if that the coldness does debar craftiness is not incorrect then the tetrahydrocannabinol is not a kind of a pliancy and does debar craftiness. sent11: something is both a tabletop and a pliancy if it does not blubber. sent12: the ark does blubber if the antlion is a Bankhead that is a tabletop. sent13: there is something such that the fact that the fact that it does untune Pieridae and is a wide-body hold is not correct. sent14: if the antlion is a Bankhead and a tabletop the ark is not a blubber. sent15: if something is not a kind of a Bankhead then it does not desecrate hexachlorophene and does debar craftiness.
sent6 & sent5 -> int1: the coldness does debar craftiness.; sent10 & int1 -> int2: the tetrahydrocannabinol is not a kind of a pliancy but it debars craftiness.; sent9 & int2 -> int3: the antlion is a Bankhead.; void -> assump1: Let's assume that the antlion is a tabletop.; int3 & assump1 -> int4: the antlion is a kind of a Bankhead and it is a kind of a tabletop.; sent14 & int4 -> int5: the fact that the ark is not a blubber is not incorrect.; [assump1] & int5 -> hypothesis;
the uxor does not desecrate hexachlorophene but it debars craftiness.
sent15 -> int6: if the uxor is not a Bankhead then it does not desecrate hexachlorophene and it debars craftiness.; sent3 -> int7: the uxor is not a Bankhead if it is a kind of a tabletop and it is a pliancy.; sent11 -> int8: that if the uxor is not the blubber then the uxor is a tabletop and it is a kind of a pliancy is correct.;
$hypothesis$ = that the ark does not blubber if the antlion is a kind of a tabletop is not right. ; $context$ = sent1: the audiometer does not debar craftiness. sent2: the ark is a blubber. sent3: if something is a kind of a tabletop that is a pliancy it is not a Bankhead. sent4: the coldness debars craftiness if there exists something such that it untunes Pieridae. sent5: if there exists something such that that it does not untune Pieridae and is a wide-body is wrong then the coldness does debar craftiness. sent6: there exists something such that that it does not untune Pieridae and it is a wide-body is not right. sent7: the tetrahydrocannabinol debars craftiness. sent8: the ark is a kind of a blubber if the antlion is a kind of a tabletop. sent9: that the antlion is a Bankhead is true if the tetrahydrocannabinol is not a pliancy but it does debar craftiness. sent10: if that the coldness does debar craftiness is not incorrect then the tetrahydrocannabinol is not a kind of a pliancy and does debar craftiness. sent11: something is both a tabletop and a pliancy if it does not blubber. sent12: the ark does blubber if the antlion is a Bankhead that is a tabletop. sent13: there is something such that the fact that the fact that it does untune Pieridae and is a wide-body hold is not correct. sent14: if the antlion is a Bankhead and a tabletop the ark is not a blubber. sent15: if something is not a kind of a Bankhead then it does not desecrate hexachlorophene and does debar craftiness. ; $proof$ = 
sent6 & sent5 -> int1: the coldness does debar craftiness.; sent10 & int1 -> int2: the tetrahydrocannabinol is not a kind of a pliancy but it debars craftiness.; sent9 & int2 -> int3: the antlion is a Bankhead.; void -> assump1: Let's assume that the antlion is a tabletop.; int3 & assump1 -> int4: the antlion is a kind of a Bankhead and it is a kind of a tabletop.; sent14 & int4 -> int5: the fact that the ark is not a blubber is not incorrect.; [assump1] & int5 -> hypothesis; __DISPROVED__