the fact that the oenomel is a Horace and is Laputan does not hold.
sent1: if the aneroid does ream the analyzer is not Laputan or it is not transpolar or both. sent2: the aneroid does not tear if it is a kind of a cavalry that is not amaurotic. sent3: the fact that the analyzer is not a ream and is transpolar is not correct. sent4: the aneroid is a cavalry but it is not amaurotic if the analyzer is not amaurotic. sent5: that the analyzer is a kind of a ream that is not transpolar is wrong. sent6: if the fact that the analyzer is not a ream and is non-transpolar does not hold it is not amaurotic. sent7: that the analyzer does not ream and it is not transpolar does not hold if that the bivalve is not transpolar is not incorrect. sent8: if the aneroid is a cavalry and amaurotic then it does not tear. sent9: if the bivalve is not transpolar that the analyzer is not a ream but transpolar is incorrect. sent10: the aneroid is not amaurotic if the analyzer is not amaurotic. sent11: if the bivalve is not transpolar the fact that the analyzer is a kind of a ream but it is not transpolar does not hold. sent12: the oenomel is Laputan. sent13: if the oenomel is not a Horace the bivalve is not transpolar. sent14: the aneroid is a kind of a tear. sent15: the aneroid is not amaurotic.
void -> assump1: Let's assume that the oenomel is not a Horace.; sent13 & assump1 -> int1: the bivalve is not transpolar.; int1 & sent7 -> int2: that the analyzer is not a ream and not transpolar is not right.; int2 & sent6 -> int3: the analyzer is not amaurotic.; int3 & sent4 -> int4: the aneroid is both a cavalry and not amaurotic.; int4 & sent2 -> int5: the aneroid is not a tear.; int5 & sent14 -> int6: this is contradiction.; [assump1] & int6 -> int7: the oenomel is a Horace.; int7 & sent12 -> hypothesis;
that the oenomel is a kind of a Horace and is Laputan is false.
$hypothesis$ = the fact that the oenomel is a Horace and is Laputan does not hold. ; $context$ = sent1: if the aneroid does ream the analyzer is not Laputan or it is not transpolar or both. sent2: the aneroid does not tear if it is a kind of a cavalry that is not amaurotic. sent3: the fact that the analyzer is not a ream and is transpolar is not correct. sent4: the aneroid is a cavalry but it is not amaurotic if the analyzer is not amaurotic. sent5: that the analyzer is a kind of a ream that is not transpolar is wrong. sent6: if the fact that the analyzer is not a ream and is non-transpolar does not hold it is not amaurotic. sent7: that the analyzer does not ream and it is not transpolar does not hold if that the bivalve is not transpolar is not incorrect. sent8: if the aneroid is a cavalry and amaurotic then it does not tear. sent9: if the bivalve is not transpolar that the analyzer is not a ream but transpolar is incorrect. sent10: the aneroid is not amaurotic if the analyzer is not amaurotic. sent11: if the bivalve is not transpolar the fact that the analyzer is a kind of a ream but it is not transpolar does not hold. sent12: the oenomel is Laputan. sent13: if the oenomel is not a Horace the bivalve is not transpolar. sent14: the aneroid is a kind of a tear. sent15: the aneroid is not amaurotic. ; $proof$ = 
void -> assump1: Let's assume that the oenomel is not a Horace.; sent13 & assump1 -> int1: the bivalve is not transpolar.; int1 & sent7 -> int2: that the analyzer is not a ream and not transpolar is not right.; int2 & sent6 -> int3: the analyzer is not amaurotic.; int3 & sent4 -> int4: the aneroid is both a cavalry and not amaurotic.; int4 & sent2 -> int5: the aneroid is not a tear.; int5 & sent14 -> int6: this is contradiction.; [assump1] & int6 -> int7: the oenomel is a Horace.; int7 & sent12 -> hypothesis; __DISPROVED__