the morel is a sketchbook.
sent1: if the boarding does not pan penetrator then that the artiodactyl is a crowded and it is afraid hold. sent2: there exists nothing such that it is a kind of a thrombus and it is minor. sent3: the morel is a sketchbook if the porker is not unafraid. sent4: if the morel is not neurogenic then the porker is a Slav and it is narcoleptic. sent5: that the fact that the porker is not a Slav and it is not neurogenic is incorrect hold. sent6: if there are non-neurogenic things that the porker is both a sketchbook and non-neurogenic does not hold. sent7: if the fact that something is a thrombus that is minor is not true it does not pan penetrator. sent8: the porker is non-neurogenic.
void -> assump1: Let's assume that the porker is not Slav.; assump1 & sent8 -> int1: the porker is both not Slav and not neurogenic.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: the porker is a kind of a Slav.;
the morel is not a kind of a sketchbook.
sent7 -> int4: the phlogiston does not pan penetrator if that it is a kind of a thrombus and is minor is not right.; sent2 -> int5: the fact that the phlogiston is a thrombus that is minor is not true.; int4 & int5 -> int6: the phlogiston does not pan penetrator.; int6 -> int7: everything does not pan penetrator.; int7 -> int8: that the boarding does not pan penetrator is not wrong.; sent1 & int8 -> int9: the artiodactyl crowds and is not unafraid.; int9 -> int10: the artiodactyl is afraid.;
$hypothesis$ = the morel is a sketchbook. ; $context$ = sent1: if the boarding does not pan penetrator then that the artiodactyl is a crowded and it is afraid hold. sent2: there exists nothing such that it is a kind of a thrombus and it is minor. sent3: the morel is a sketchbook if the porker is not unafraid. sent4: if the morel is not neurogenic then the porker is a Slav and it is narcoleptic. sent5: that the fact that the porker is not a Slav and it is not neurogenic is incorrect hold. sent6: if there are non-neurogenic things that the porker is both a sketchbook and non-neurogenic does not hold. sent7: if the fact that something is a thrombus that is minor is not true it does not pan penetrator. sent8: the porker is non-neurogenic. ; $proof$ = 
void -> assump1: Let's assume that the porker is not Slav.; assump1 & sent8 -> int1: the porker is both not Slav and not neurogenic.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: the porker is a kind of a Slav.; __UNKNOWN__