the woodsman is insensible if the saxhorn is a midplane.
sent1: that that the saxhorn is a midplane and it is unbroken hold does not hold. sent2: something is a midplane. sent3: there exists something such that it is not a midplane and is unbroken. sent4: there is something such that it is not a kind of a Rus. sent5: the saxhorn is not unbroken.
void -> assump2: Let's assume that the saxhorn is not a midplane but unbroken.; assump2 -> int1: the saxhorn is not a midplane.; void -> assump1: Let's assume that the saxhorn is a kind of a midplane.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the saxhorn is not a midplane but it is not broken is not true.; int3 -> int4: there exists something such that that it is not a midplane and it is unbroken is false.;
$hypothesis$ = the woodsman is insensible if the saxhorn is a midplane. ; $context$ = sent1: that that the saxhorn is a midplane and it is unbroken hold does not hold. sent2: something is a midplane. sent3: there exists something such that it is not a midplane and is unbroken. sent4: there is something such that it is not a kind of a Rus. sent5: the saxhorn is not unbroken. ; $proof$ = 
void -> assump2: Let's assume that the saxhorn is not a midplane but unbroken.; assump2 -> int1: the saxhorn is not a midplane.; void -> assump1: Let's assume that the saxhorn is a kind of a midplane.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the saxhorn is not a midplane but it is not broken is not true.; int3 -> int4: there exists something such that that it is not a midplane and it is unbroken is false.; __UNKNOWN__