the taxidermist does not shag.
sent1: if the taxidermist is not considerable the megagametophyte does not pursue and it is not a kind of a thermosphere. sent2: there are non-lobeliaceous things. sent3: if there is something such that that it is a kind of a judgeship that is a kind of a thermosphere is not right the scrimshanker does not pursue. sent4: if that the scrimshanker does not pursue is not incorrect then the fact that the taxidermist is not considerable and is not a shagged hold. sent5: the taxidermist is a kind of a shagged if there is something such that the fact that it is a kind of a judgeship and it is not a kind of a shagged is not true. sent6: the fact that the megagametophyte is a judgeship and a thermosphere is incorrect if there exists something such that it is not lobeliaceous. sent7: there is something such that it does not intensify bacteriology.
sent2 & sent6 -> int1: the fact that the megagametophyte is a judgeship and it is a thermosphere is not true.; int1 -> int2: there exists something such that the fact that it is a judgeship and it is a thermosphere is false.; int2 & sent3 -> int3: the scrimshanker does not pursue.; int3 & sent4 -> int4: the taxidermist is not considerable and it is not a shagged.; int4 -> hypothesis;
that the taxidermist shags is not wrong.
$hypothesis$ = the taxidermist does not shag. ; $context$ = sent1: if the taxidermist is not considerable the megagametophyte does not pursue and it is not a kind of a thermosphere. sent2: there are non-lobeliaceous things. sent3: if there is something such that that it is a kind of a judgeship that is a kind of a thermosphere is not right the scrimshanker does not pursue. sent4: if that the scrimshanker does not pursue is not incorrect then the fact that the taxidermist is not considerable and is not a shagged hold. sent5: the taxidermist is a kind of a shagged if there is something such that the fact that it is a kind of a judgeship and it is not a kind of a shagged is not true. sent6: the fact that the megagametophyte is a judgeship and a thermosphere is incorrect if there exists something such that it is not lobeliaceous. sent7: there is something such that it does not intensify bacteriology. ; $proof$ = 
sent2 & sent6 -> int1: the fact that the megagametophyte is a judgeship and it is a thermosphere is not true.; int1 -> int2: there exists something such that the fact that it is a judgeship and it is a thermosphere is false.; int2 & sent3 -> int3: the scrimshanker does not pursue.; int3 & sent4 -> int4: the taxidermist is not considerable and it is not a shagged.; int4 -> hypothesis; __PROVED__