the fact that there is something such that it does not leap anode and is outer does not hold.
sent1: that the kingsnake is not a kind of a familiar and leaps anode does not hold. sent2: if something is not a kind of a familiar and it does not leap nostrum then that it does not leap anode is not false. sent3: there is something such that it does company and it is a Schliemann. sent4: everything is not a Stockton. sent5: there is something such that it is not noncollapsible. sent6: if something that is a Walapai does not leap purgatory it is not sectorial. sent7: if the kingsnake is a kind of unfamiliar thing that does not leap anode then it does not leap nostrum. sent8: the Anasazi does not leap nostrum. sent9: the Anasazi does not dangle braille. sent10: if the fact that the numbat is not outer and not familiar is not right the Anasazi leaps Lully. sent11: if the Anasazi does not leap anode the kingsnake does not leap anode but it is outer. sent12: the numbat does not leap Lully if it does not leap anode and it is a kind of a familiar. sent13: everything is not gynecological. sent14: the numbat leaps Lully if that the Anasazi is not a familiar and it does not leap nostrum is wrong. sent15: the Anasazi does not leap anode and leaps Lully if the fact that the numbat does not leap anode is right. sent16: there exists something such that it does not leap symptom and is lactogenic. sent17: the fact that the carter is non-colonial thing that leaps purgatory is true. sent18: the kingsnake is non-outer if it does not leap anode and it does leap Lully. sent19: the fact that everything does not leap Lully is not incorrect.
void -> assump1: Let's assume that that the Anasazi is not familiar and does not leap nostrum is false.; sent14 & assump1 -> int1: the numbat leaps Lully.; sent19 -> int2: the numbat does not leap Lully.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Anasazi is not a familiar and it does not leap nostrum.; sent2 -> int5: the Anasazi does not leap anode if it is a kind of unfamiliar thing that does not leap nostrum.; int4 & int5 -> int6: the Anasazi does not leap anode.; int6 & sent11 -> int7: the fact that the kingsnake does not leap anode and is outer hold.; int7 -> hypothesis;
$hypothesis$ = the fact that there is something such that it does not leap anode and is outer does not hold. ; $context$ = sent1: that the kingsnake is not a kind of a familiar and leaps anode does not hold. sent2: if something is not a kind of a familiar and it does not leap nostrum then that it does not leap anode is not false. sent3: there is something such that it does company and it is a Schliemann. sent4: everything is not a Stockton. sent5: there is something such that it is not noncollapsible. sent6: if something that is a Walapai does not leap purgatory it is not sectorial. sent7: if the kingsnake is a kind of unfamiliar thing that does not leap anode then it does not leap nostrum. sent8: the Anasazi does not leap nostrum. sent9: the Anasazi does not dangle braille. sent10: if the fact that the numbat is not outer and not familiar is not right the Anasazi leaps Lully. sent11: if the Anasazi does not leap anode the kingsnake does not leap anode but it is outer. sent12: the numbat does not leap Lully if it does not leap anode and it is a kind of a familiar. sent13: everything is not gynecological. sent14: the numbat leaps Lully if that the Anasazi is not a familiar and it does not leap nostrum is wrong. sent15: the Anasazi does not leap anode and leaps Lully if the fact that the numbat does not leap anode is right. sent16: there exists something such that it does not leap symptom and is lactogenic. sent17: the fact that the carter is non-colonial thing that leaps purgatory is true. sent18: the kingsnake is non-outer if it does not leap anode and it does leap Lully. sent19: the fact that everything does not leap Lully is not incorrect. ; $proof$ = 
void -> assump1: Let's assume that that the Anasazi is not familiar and does not leap nostrum is false.; sent14 & assump1 -> int1: the numbat leaps Lully.; sent19 -> int2: the numbat does not leap Lully.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Anasazi is not a familiar and it does not leap nostrum.; sent2 -> int5: the Anasazi does not leap anode if it is a kind of unfamiliar thing that does not leap nostrum.; int4 & int5 -> int6: the Anasazi does not leap anode.; int6 & sent11 -> int7: the fact that the kingsnake does not leap anode and is outer hold.; int7 -> hypothesis; __DISPROVED__