the Lhasa is not a kind of a duffel.
sent1: there is nothing such that it tabulates radian and it is not a kind of a hydrocarbon. sent2: the blackberry-lily does tabulate radian but it is not a hydrocarbon if the Lhasa is not a duffel. sent3: the Lhasa is not a duffel if the blackberry-lily either is not a kind of a Labrador or is a kind of a duffel or both. sent4: the fact that the blackberry-lily does tabulate radian and is a kind of a hydrocarbon does not hold. sent5: either something is not a Labrador or it is a kind of a duffel or both if it is not a kind of an incompetent. sent6: the blackberry-lily is not non-focal and is not a juvenile. sent7: there is nothing that does tabulate radian and is a kind of a hydrocarbon. sent8: if that the Lhasa is not a duffel is not incorrect then the blackberry-lily is not a hydrocarbon. sent9: if the stroma is allelic that the polymastigote is both an incompetent and not a charter is incorrect. sent10: a non-azido thing is not a moorcock and is not erect. sent11: the blackberry-lily is not a hydrocarbon. sent12: if the Lhasa is not a hydrocarbon the blackberry-lily tabulates radian but it is not a duffel. sent13: if something is both not a moorcock and not erect it is allelic.
void -> assump1: Let's assume that the Lhasa is not a duffel.; sent2 & assump1 -> int1: that the blackberry-lily does tabulate radian but it is not a hydrocarbon is true.; sent1 -> int2: that the blackberry-lily does tabulate radian but it is not a hydrocarbon is not right.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the Lhasa is not a duffel.
sent5 -> int4: the blackberry-lily is not a kind of a Labrador or is a duffel or both if it is not an incompetent.; sent13 -> int5: if the stroma is not a moorcock and not erect it is allelic.; sent10 -> int6: the stroma is both not a moorcock and unerect if it is not azido.;
$hypothesis$ = the Lhasa is not a kind of a duffel. ; $context$ = sent1: there is nothing such that it tabulates radian and it is not a kind of a hydrocarbon. sent2: the blackberry-lily does tabulate radian but it is not a hydrocarbon if the Lhasa is not a duffel. sent3: the Lhasa is not a duffel if the blackberry-lily either is not a kind of a Labrador or is a kind of a duffel or both. sent4: the fact that the blackberry-lily does tabulate radian and is a kind of a hydrocarbon does not hold. sent5: either something is not a Labrador or it is a kind of a duffel or both if it is not a kind of an incompetent. sent6: the blackberry-lily is not non-focal and is not a juvenile. sent7: there is nothing that does tabulate radian and is a kind of a hydrocarbon. sent8: if that the Lhasa is not a duffel is not incorrect then the blackberry-lily is not a hydrocarbon. sent9: if the stroma is allelic that the polymastigote is both an incompetent and not a charter is incorrect. sent10: a non-azido thing is not a moorcock and is not erect. sent11: the blackberry-lily is not a hydrocarbon. sent12: if the Lhasa is not a hydrocarbon the blackberry-lily tabulates radian but it is not a duffel. sent13: if something is both not a moorcock and not erect it is allelic. ; $proof$ = 
void -> assump1: Let's assume that the Lhasa is not a duffel.; sent2 & assump1 -> int1: that the blackberry-lily does tabulate radian but it is not a hydrocarbon is true.; sent1 -> int2: that the blackberry-lily does tabulate radian but it is not a hydrocarbon is not right.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__