there is something such that it does fart Heaviside.
sent1: the touch-me-not is a kind of a skinner if that the Lowlander is not a kind of a fiddleneck and it is not a tetrapod does not hold. sent2: if the fact that something is not noncausative is not incorrect the fact that it does not fart Heaviside and it is a skinner is not incorrect. sent3: if that something rolls woodgrain and farts simpleton does not hold then it is not noncausative. sent4: the fact that the touch-me-not is a tetrapod hold. sent5: the trencher is noncausative. sent6: the fact that the Lowlander is not a fiddleneck and not a tetrapod does not hold if the fact that the bumblebee does not fart Heaviside is correct. sent7: if the Attilio does not freckle junior it does not fart Macedonian and it does not freckle L-dopa. sent8: the fact that that the Lowlander is a kind of a fiddleneck and is not a tetrapod is not correct is not wrong. sent9: the trencher is a skinner. sent10: the fact that something does roll woodgrain and does fart simpleton is not correct if it does not fart Macedonian. sent11: the touch-me-not is not a skinner if the trencher is a skinner and is noncausative. sent12: that the Lowlander is not a kind of a fiddleneck but it is a tetrapod is false if the bumblebee does not fart Heaviside.
void -> assump1: Let's assume that the bumblebee does not fart Heaviside.; sent6 & assump1 -> int1: that the Lowlander is both not a fiddleneck and not a tetrapod does not hold.; int1 & sent1 -> int2: the touch-me-not is a kind of a skinner.; sent9 & sent5 -> int3: the trencher is both a skinner and noncausative.; sent11 & int3 -> int4: the touch-me-not is not a skinner.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: that the bumblebee farts Heaviside is right.; int6 -> hypothesis;
the Attilio is a skinner.
sent2 -> int7: if the Attilio is not noncausative then it does not fart Heaviside and it is a skinner.; sent3 -> int8: if that the Attilio does roll woodgrain and farts simpleton is false then it is not noncausative.; sent10 -> int9: if the Attilio does not fart Macedonian the fact that it rolls woodgrain and farts simpleton does not hold.;
$hypothesis$ = there is something such that it does fart Heaviside. ; $context$ = sent1: the touch-me-not is a kind of a skinner if that the Lowlander is not a kind of a fiddleneck and it is not a tetrapod does not hold. sent2: if the fact that something is not noncausative is not incorrect the fact that it does not fart Heaviside and it is a skinner is not incorrect. sent3: if that something rolls woodgrain and farts simpleton does not hold then it is not noncausative. sent4: the fact that the touch-me-not is a tetrapod hold. sent5: the trencher is noncausative. sent6: the fact that the Lowlander is not a fiddleneck and not a tetrapod does not hold if the fact that the bumblebee does not fart Heaviside is correct. sent7: if the Attilio does not freckle junior it does not fart Macedonian and it does not freckle L-dopa. sent8: the fact that that the Lowlander is a kind of a fiddleneck and is not a tetrapod is not correct is not wrong. sent9: the trencher is a skinner. sent10: the fact that something does roll woodgrain and does fart simpleton is not correct if it does not fart Macedonian. sent11: the touch-me-not is not a skinner if the trencher is a skinner and is noncausative. sent12: that the Lowlander is not a kind of a fiddleneck but it is a tetrapod is false if the bumblebee does not fart Heaviside. ; $proof$ = 
void -> assump1: Let's assume that the bumblebee does not fart Heaviside.; sent6 & assump1 -> int1: that the Lowlander is both not a fiddleneck and not a tetrapod does not hold.; int1 & sent1 -> int2: the touch-me-not is a kind of a skinner.; sent9 & sent5 -> int3: the trencher is both a skinner and noncausative.; sent11 & int3 -> int4: the touch-me-not is not a skinner.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: that the bumblebee farts Heaviside is right.; int6 -> hypothesis; __PROVED__