the Mullah does not shush etanercept and does not hum smoothbore.
sent1: the lake does not hum smoothbore. sent2: if the Mullah does not shush etanercept and it does not hum smoothbore then the lake is a Austronesian. sent3: if the Mullah does shush etanercept and does not hum smoothbore the fact that the lake is Austronesian is correct. sent4: that the Mullah does not shush etanercept and does hum smoothbore is false. sent5: the ozokerite is not a kind of a Mesozoic. sent6: the smoothbore is not a kind of a Mesozoic. sent7: the cheat is not a Mesozoic. sent8: the Mullah is congruous. sent9: the Mullah is a Austronesian if the lake does not shush etanercept and it does not hum smoothbore. sent10: if the lake is a kind of a Austronesian then the cowboy is a Mesozoic. sent11: the lake is Austronesian if the Mullah does not shush etanercept and hums smoothbore. sent12: that the Mullah does shush etanercept but it does not hum smoothbore is not correct. sent13: the cowboy is not a autoloader and it is not a kind of a threescore. sent14: the scyphozoan does not shush etanercept and it is not biosynthetic. sent15: that something does not shush etanercept and it does not hum smoothbore is correct if it is not a Mesozoic. sent16: the lake is not climactic. sent17: the fact that the Mullah is not a Austronesian and it does not even does not hold. sent18: that the Mullah is non-Mesozoic thing that does not shush etanercept is not true. sent19: the cowboy is not Mesozoic.
void -> assump1: Let's assume that the Mullah does not shush etanercept and it does not hum smoothbore.; sent2 & assump1 -> int1: that the lake is not non-Austronesian is not false.; int1 & sent10 -> int2: the cowboy is Mesozoic.; int2 & sent19 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the Mullah does not shush etanercept and does not hum smoothbore.
sent15 -> int4: the Mullah does not shush etanercept and does not hum smoothbore if the fact that it is not Mesozoic hold.;
$hypothesis$ = the Mullah does not shush etanercept and does not hum smoothbore. ; $context$ = sent1: the lake does not hum smoothbore. sent2: if the Mullah does not shush etanercept and it does not hum smoothbore then the lake is a Austronesian. sent3: if the Mullah does shush etanercept and does not hum smoothbore the fact that the lake is Austronesian is correct. sent4: that the Mullah does not shush etanercept and does hum smoothbore is false. sent5: the ozokerite is not a kind of a Mesozoic. sent6: the smoothbore is not a kind of a Mesozoic. sent7: the cheat is not a Mesozoic. sent8: the Mullah is congruous. sent9: the Mullah is a Austronesian if the lake does not shush etanercept and it does not hum smoothbore. sent10: if the lake is a kind of a Austronesian then the cowboy is a Mesozoic. sent11: the lake is Austronesian if the Mullah does not shush etanercept and hums smoothbore. sent12: that the Mullah does shush etanercept but it does not hum smoothbore is not correct. sent13: the cowboy is not a autoloader and it is not a kind of a threescore. sent14: the scyphozoan does not shush etanercept and it is not biosynthetic. sent15: that something does not shush etanercept and it does not hum smoothbore is correct if it is not a Mesozoic. sent16: the lake is not climactic. sent17: the fact that the Mullah is not a Austronesian and it does not even does not hold. sent18: that the Mullah is non-Mesozoic thing that does not shush etanercept is not true. sent19: the cowboy is not Mesozoic. ; $proof$ = 
void -> assump1: Let's assume that the Mullah does not shush etanercept and it does not hum smoothbore.; sent2 & assump1 -> int1: that the lake is not non-Austronesian is not false.; int1 & sent10 -> int2: the cowboy is Mesozoic.; int2 & sent19 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__