the strut is intradepartmental.
sent1: the fact that the Southerner is a cover-up hold if the blackboard is paralytic but it does not unbend stayer. sent2: if that the pajama is a paralytic hold the blackboard is a kind of a paralytic. sent3: the keurboom does convoy pansy if the Southerner is a cover-up. sent4: if the pajama is a paralytic the blackboard is a paralytic that does not unbend stayer. sent5: if the stayer is a footcandle the pajama is a paralytic. sent6: everything does not convoy pansy. sent7: if the fact that something is a commissariat but it is not a lapin does not hold it is intradepartmental. sent8: something that is not a cover-up is not paralytic and is not a footcandle. sent9: if the glomerule is not a kind of a paralytic and it is not a kind of a footcandle then it does unbend stayer.
void -> assump1: Let's assume that the strut is a commissariat but it is not a kind of a lapin.; sent6 -> int1: the keurboom does not convoy pansy.; sent7 -> int2: the strut is intradepartmental if that it is a commissariat but not a lapin does not hold.;
the glomerule unbends stayer.
sent8 -> int3: if the glomerule is not a kind of a cover-up then it is not a kind of a paralytic and it is not a kind of a footcandle.;
$hypothesis$ = the strut is intradepartmental. ; $context$ = sent1: the fact that the Southerner is a cover-up hold if the blackboard is paralytic but it does not unbend stayer. sent2: if that the pajama is a paralytic hold the blackboard is a kind of a paralytic. sent3: the keurboom does convoy pansy if the Southerner is a cover-up. sent4: if the pajama is a paralytic the blackboard is a paralytic that does not unbend stayer. sent5: if the stayer is a footcandle the pajama is a paralytic. sent6: everything does not convoy pansy. sent7: if the fact that something is a commissariat but it is not a lapin does not hold it is intradepartmental. sent8: something that is not a cover-up is not paralytic and is not a footcandle. sent9: if the glomerule is not a kind of a paralytic and it is not a kind of a footcandle then it does unbend stayer. ; $proof$ = 
void -> assump1: Let's assume that the strut is a commissariat but it is not a kind of a lapin.; sent6 -> int1: the keurboom does not convoy pansy.; sent7 -> int2: the strut is intradepartmental if that it is a commissariat but not a lapin does not hold.; __UNKNOWN__