the father-figure does not mistake Megadermatidae.
sent1: if the fact that the ilium is a kind of a patriot and does not skitter is false then it is not a patriot. sent2: the tremor is undrinkable and/or not Nauruan if there is something such that it is not a constriction. sent3: if something that is a least does torment tunaburger it is not a constriction. sent4: the fact that the reader skitters but it is not covert is not correct if it is not a kind of a Nauruan. sent5: that the reader is a veterinarian but it does not skitter is not true. sent6: if the ilium is not covert then the father-figure does not mistake Megadermatidae. sent7: if something is not a patriot then it is not covert. sent8: the anthill torments tunaburger. sent9: if the ilium is a kind of a patriot then the reader is a veterinarian. sent10: that the bubblejet is a covert but it is not a patriot is incorrect if the ilium does not mistake Megadermatidae. sent11: if something is not a veterinarian then it is a patriot and it does not mistake Megadermatidae. sent12: the anthill is a least. sent13: the reader is not a kind of a veterinarian if that it is a kind of a veterinarian that does not skitter is incorrect. sent14: if the ilium is a patriot but it does not mistake Megadermatidae the father-figure does mistake Megadermatidae. sent15: the reader does underlie.
void -> assump1: Let's assume that the ilium is a patriot.; sent9 & assump1 -> int1: the reader is a veterinarian.; sent13 & sent5 -> int2: the reader is not a veterinarian.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the ilium is not a patriot.; sent7 -> int5: if the ilium is not a patriot then it is not a covert.; int4 & int5 -> int6: the ilium is not a covert.; int6 & sent6 -> hypothesis;
the father-figure mistakes Megadermatidae.
sent11 -> int7: if the ilium is not a veterinarian then it is a kind of a patriot that does not mistake Megadermatidae.; sent3 -> int8: if the anthill is least and does torment tunaburger it is not a constriction.; sent12 & sent8 -> int9: the anthill is a least and it torments tunaburger.; int8 & int9 -> int10: the anthill is not a kind of a constriction.; int10 -> int11: there exists something such that it is not a constriction.; int11 & sent2 -> int12: the tremor is undrinkable and/or it is not a Nauruan.;
$hypothesis$ = the father-figure does not mistake Megadermatidae. ; $context$ = sent1: if the fact that the ilium is a kind of a patriot and does not skitter is false then it is not a patriot. sent2: the tremor is undrinkable and/or not Nauruan if there is something such that it is not a constriction. sent3: if something that is a least does torment tunaburger it is not a constriction. sent4: the fact that the reader skitters but it is not covert is not correct if it is not a kind of a Nauruan. sent5: that the reader is a veterinarian but it does not skitter is not true. sent6: if the ilium is not covert then the father-figure does not mistake Megadermatidae. sent7: if something is not a patriot then it is not covert. sent8: the anthill torments tunaburger. sent9: if the ilium is a kind of a patriot then the reader is a veterinarian. sent10: that the bubblejet is a covert but it is not a patriot is incorrect if the ilium does not mistake Megadermatidae. sent11: if something is not a veterinarian then it is a patriot and it does not mistake Megadermatidae. sent12: the anthill is a least. sent13: the reader is not a kind of a veterinarian if that it is a kind of a veterinarian that does not skitter is incorrect. sent14: if the ilium is a patriot but it does not mistake Megadermatidae the father-figure does mistake Megadermatidae. sent15: the reader does underlie. ; $proof$ = 
void -> assump1: Let's assume that the ilium is a patriot.; sent9 & assump1 -> int1: the reader is a veterinarian.; sent13 & sent5 -> int2: the reader is not a veterinarian.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the ilium is not a patriot.; sent7 -> int5: if the ilium is not a patriot then it is not a covert.; int4 & int5 -> int6: the ilium is not a covert.; int6 & sent6 -> hypothesis; __PROVED__