the Ahuehuete is not a kind of a hypothyroidism.
sent1: that the Lithuanian does shatter nibble or it is not a kind of a deipnosophist or both is not correct if it does weld Venn. sent2: if the fact that the Fugo is not a deipnosophist is correct the Lithuanian either does shatter nibble or is not a deipnosophist or both. sent3: something is not a deipnosophist if it is not non-hypnotic. sent4: the Lithuanian does weld Venn. sent5: if the fact that the Lithuanian is nonsignificant is not wrong then it is a deipnosophist. sent6: the Lithuanian is a nondescript and it is a deipnosophist. sent7: The Venn does weld Lithuanian. sent8: the fact that the Fugo is not a kind of a deipnosophist is correct if the enterotoxin is a kind of a nondescript that is hypnotic. sent9: if there exists something such that it does shatter nibble and it is a hypothyroidism then the Fugo is not false. sent10: if the enterotoxin is nonsignificant then it is a nondescript. sent11: the fact that the enterotoxin is nonsignificant hold. sent12: if the enterotoxin is not hypnotic that the Ahuehuete is a kind of non-hypnotic thing that is not false is not true. sent13: something does shatter nibble and it is a kind of a hypothyroidism. sent14: if that something is not hypnotic and it is not false does not hold it is not a hypothyroidism. sent15: the Fugo is not false.
sent10 & sent11 -> int1: the enterotoxin is a kind of a nondescript.; void -> assump1: Let's assume that the enterotoxin is hypnotic.; int1 & assump1 -> int2: the enterotoxin is a nondescript and it is hypnotic.; int2 & sent8 -> int3: the Fugo is not a kind of a deipnosophist.; int3 & sent2 -> int4: the Lithuanian shatters nibble and/or it is not a deipnosophist.; sent1 & sent4 -> int5: that the Lithuanian shatters nibble or is not a deipnosophist or both is wrong.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the enterotoxin is not hypnotic.; int7 & sent12 -> int8: the fact that the Ahuehuete is non-hypnotic and is not false is not correct.; sent14 -> int9: if the fact that the Ahuehuete is not hypnotic and not false does not hold it is not a hypothyroidism.; int8 & int9 -> hypothesis;
the enterotoxin is not a deipnosophist.
sent13 & sent9 -> int10: the Fugo is not false.;
$hypothesis$ = the Ahuehuete is not a kind of a hypothyroidism. ; $context$ = sent1: that the Lithuanian does shatter nibble or it is not a kind of a deipnosophist or both is not correct if it does weld Venn. sent2: if the fact that the Fugo is not a deipnosophist is correct the Lithuanian either does shatter nibble or is not a deipnosophist or both. sent3: something is not a deipnosophist if it is not non-hypnotic. sent4: the Lithuanian does weld Venn. sent5: if the fact that the Lithuanian is nonsignificant is not wrong then it is a deipnosophist. sent6: the Lithuanian is a nondescript and it is a deipnosophist. sent7: The Venn does weld Lithuanian. sent8: the fact that the Fugo is not a kind of a deipnosophist is correct if the enterotoxin is a kind of a nondescript that is hypnotic. sent9: if there exists something such that it does shatter nibble and it is a hypothyroidism then the Fugo is not false. sent10: if the enterotoxin is nonsignificant then it is a nondescript. sent11: the fact that the enterotoxin is nonsignificant hold. sent12: if the enterotoxin is not hypnotic that the Ahuehuete is a kind of non-hypnotic thing that is not false is not true. sent13: something does shatter nibble and it is a kind of a hypothyroidism. sent14: if that something is not hypnotic and it is not false does not hold it is not a hypothyroidism. sent15: the Fugo is not false. ; $proof$ = 
sent10 & sent11 -> int1: the enterotoxin is a kind of a nondescript.; void -> assump1: Let's assume that the enterotoxin is hypnotic.; int1 & assump1 -> int2: the enterotoxin is a nondescript and it is hypnotic.; int2 & sent8 -> int3: the Fugo is not a kind of a deipnosophist.; int3 & sent2 -> int4: the Lithuanian shatters nibble and/or it is not a deipnosophist.; sent1 & sent4 -> int5: that the Lithuanian shatters nibble or is not a deipnosophist or both is wrong.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the enterotoxin is not hypnotic.; int7 & sent12 -> int8: the fact that the Ahuehuete is non-hypnotic and is not false is not correct.; sent14 -> int9: if the fact that the Ahuehuete is not hypnotic and not false does not hold it is not a hypothyroidism.; int8 & int9 -> hypothesis; __PROVED__