if the schoolmaster does not field paleface and it does not mushroom the hoister is a kind of a lull.
sent1: that the hoister is diaphyseal and it is cryonic is not correct. sent2: the schoolmaster is not a mushroom. sent3: the fact that something is not an arm and does bar maple is wrong if the fact that it is diaphyseal is not incorrect. sent4: the schoolmaster does spangle if it does not field paleface and is not a mushroom. sent5: the hoister bars maple if it is diaphyseal. sent6: if the schoolmaster fields paleface but it is not a mushroom it does spangle. sent7: the fact that if the schoolmaster does field paleface but it does not mushroom the hoister is a lull hold. sent8: that if the fact that the fact that the hoister is both not a promycelium and the mushroom is incorrect hold the hoister does bead left-handedness is not wrong. sent9: if the hoister is not a mushroom and is a lull it fields paleface. sent10: the fact that the fact that the hoister is not diaphyseal and is cryonic does not hold if there is something such that it spangles is not wrong. sent11: if there is something such that it spangles then the fact that the hoister is diaphyseal and is cryonic is not true. sent12: the hoister does lull if it bars maple. sent13: if the punchball does prance then it is diaphyseal. sent14: that the hoister does not prance and it does not grapple is right. sent15: the schoolmaster spangles if it does not field paleface and it mushrooms. sent16: if the schoolmaster is non-cryonic thing that bars maple it does spangle. sent17: the schoolmaster does not lull if that it is hypertonic and it is not a kind of a date does not hold. sent18: if the schoolmaster does not field paleface but it is a mushroom then the hoister does lull. sent19: the schoolmaster does not bar maple.
void -> assump1: Let's assume that the fact that the schoolmaster does not field paleface and is not a mushroom is right.; sent4 & assump1 -> int1: the schoolmaster does spangle.; int1 -> int2: there exists something such that it does spangle.; int2 & sent10 -> int3: that the hoister is not diaphyseal but cryonic does not hold.;
the fact that the hoister is not an arm but it bars maple is false.
sent3 -> int4: if the hoister is diaphyseal that it is not a kind of an arm and it bars maple does not hold.;
$hypothesis$ = if the schoolmaster does not field paleface and it does not mushroom the hoister is a kind of a lull. ; $context$ = sent1: that the hoister is diaphyseal and it is cryonic is not correct. sent2: the schoolmaster is not a mushroom. sent3: the fact that something is not an arm and does bar maple is wrong if the fact that it is diaphyseal is not incorrect. sent4: the schoolmaster does spangle if it does not field paleface and is not a mushroom. sent5: the hoister bars maple if it is diaphyseal. sent6: if the schoolmaster fields paleface but it is not a mushroom it does spangle. sent7: the fact that if the schoolmaster does field paleface but it does not mushroom the hoister is a lull hold. sent8: that if the fact that the fact that the hoister is both not a promycelium and the mushroom is incorrect hold the hoister does bead left-handedness is not wrong. sent9: if the hoister is not a mushroom and is a lull it fields paleface. sent10: the fact that the fact that the hoister is not diaphyseal and is cryonic does not hold if there is something such that it spangles is not wrong. sent11: if there is something such that it spangles then the fact that the hoister is diaphyseal and is cryonic is not true. sent12: the hoister does lull if it bars maple. sent13: if the punchball does prance then it is diaphyseal. sent14: that the hoister does not prance and it does not grapple is right. sent15: the schoolmaster spangles if it does not field paleface and it mushrooms. sent16: if the schoolmaster is non-cryonic thing that bars maple it does spangle. sent17: the schoolmaster does not lull if that it is hypertonic and it is not a kind of a date does not hold. sent18: if the schoolmaster does not field paleface but it is a mushroom then the hoister does lull. sent19: the schoolmaster does not bar maple. ; $proof$ = 
void -> assump1: Let's assume that the fact that the schoolmaster does not field paleface and is not a mushroom is right.; sent4 & assump1 -> int1: the schoolmaster does spangle.; int1 -> int2: there exists something such that it does spangle.; int2 & sent10 -> int3: that the hoister is not diaphyseal but cryonic does not hold.; __UNKNOWN__