the fact that the Mao is a kind of a pronged is not false.
sent1: the bibliophile is a Xanthosoma and it is alphabetic. sent2: that the porte-cochere is not gerundial is not incorrect if the anthophyllite is a kind of a floccule. sent3: the porte-cochere is not gerundial if the anthophyllite does idealize porte-cochere and/or it is a floccule. sent4: the anthophyllite does idealize porte-cochere if the bibliophile is a Xanthosoma. sent5: if the porte-cochere is not allometric then the wafer is not high-interest and/or it does not idealize Romans. sent6: if the wafer is not high-interest and/or does not idealize Romans the Mao is a pronged. sent7: something is not allometric if it is not gerundial.
sent1 -> int1: the bibliophile is a kind of a Xanthosoma.; int1 & sent4 -> int2: the anthophyllite idealizes porte-cochere.; int2 -> int3: the anthophyllite idealizes porte-cochere or is a kind of a floccule or both.; int3 & sent3 -> int4: the porte-cochere is not gerundial.; sent7 -> int5: the porte-cochere is not allometric if it is not gerundial.; int4 & int5 -> int6: the porte-cochere is non-allometric.; int6 & sent5 -> int7: the wafer either is not high-interest or does not idealize Romans or both.; int7 & sent6 -> hypothesis;
$hypothesis$ = the fact that the Mao is a kind of a pronged is not false. ; $context$ = sent1: the bibliophile is a Xanthosoma and it is alphabetic. sent2: that the porte-cochere is not gerundial is not incorrect if the anthophyllite is a kind of a floccule. sent3: the porte-cochere is not gerundial if the anthophyllite does idealize porte-cochere and/or it is a floccule. sent4: the anthophyllite does idealize porte-cochere if the bibliophile is a Xanthosoma. sent5: if the porte-cochere is not allometric then the wafer is not high-interest and/or it does not idealize Romans. sent6: if the wafer is not high-interest and/or does not idealize Romans the Mao is a pronged. sent7: something is not allometric if it is not gerundial. ; $proof$ = 
sent1 -> int1: the bibliophile is a kind of a Xanthosoma.; int1 & sent4 -> int2: the anthophyllite idealizes porte-cochere.; int2 -> int3: the anthophyllite idealizes porte-cochere or is a kind of a floccule or both.; int3 & sent3 -> int4: the porte-cochere is not gerundial.; sent7 -> int5: the porte-cochere is not allometric if it is not gerundial.; int4 & int5 -> int6: the porte-cochere is non-allometric.; int6 & sent5 -> int7: the wafer either is not high-interest or does not idealize Romans or both.; int7 & sent6 -> hypothesis; __PROVED__