the fact that the knockoff is focal and does not laicize Wood is not right.
sent1: either the machmeter does not laicize quantification or it is not a autogamy or both. sent2: the fact that the knockoff is focal and laicizes Wood does not hold if the machmeter is not indelicate. sent3: the machmeter is not electromotive if there exists something such that either it is a internuncio or it is not unwholesome or both. sent4: either something is a kind of a internuncio or it is not unwholesome or both. sent5: the machmeter does laicize rate if it either does not laicize quantification or is not a autogamy or both. sent6: if something does laicize rate that it is not electromotive and it is indelicate does not hold.
sent4 & sent3 -> int1: the machmeter is not electromotive.; void -> assump1: Let's assume that that the machmeter is indelicate is not incorrect.; int1 & assump1 -> int2: the machmeter is non-electromotive but it is indelicate.; sent6 -> int3: if the machmeter does laicize rate the fact that that it is a kind of non-electromotive thing that is indelicate hold is not correct.; sent5 & sent1 -> int4: the machmeter laicizes rate.; int3 & int4 -> int5: that the fact that the machmeter is not electromotive but it is indelicate does not hold hold.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the machmeter is not indelicate.;
$hypothesis$ = the fact that the knockoff is focal and does not laicize Wood is not right. ; $context$ = sent1: either the machmeter does not laicize quantification or it is not a autogamy or both. sent2: the fact that the knockoff is focal and laicizes Wood does not hold if the machmeter is not indelicate. sent3: the machmeter is not electromotive if there exists something such that either it is a internuncio or it is not unwholesome or both. sent4: either something is a kind of a internuncio or it is not unwholesome or both. sent5: the machmeter does laicize rate if it either does not laicize quantification or is not a autogamy or both. sent6: if something does laicize rate that it is not electromotive and it is indelicate does not hold. ; $proof$ = 
sent4 & sent3 -> int1: the machmeter is not electromotive.; void -> assump1: Let's assume that that the machmeter is indelicate is not incorrect.; int1 & assump1 -> int2: the machmeter is non-electromotive but it is indelicate.; sent6 -> int3: if the machmeter does laicize rate the fact that that it is a kind of non-electromotive thing that is indelicate hold is not correct.; sent5 & sent1 -> int4: the machmeter laicizes rate.; int3 & int4 -> int5: that the fact that the machmeter is not electromotive but it is indelicate does not hold hold.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the machmeter is not indelicate.; __UNKNOWN__