the tailor hefts norethynodrel and it is isthmian.
sent1: the tailor hefts norethynodrel and it is isthmian if the smith does not hefts norethynodrel. sent2: that the mortification coheres Mordva and hefts Agkistrodon does not hold. sent3: the tailor hefts Agkistrodon. sent4: the mortification coheres Mordva and does not heft Agkistrodon if the smith does not coheres Mordva. sent5: the fact that something hefts norethynodrel and it is isthmian does not hold if the fact that it is not electronics hold. sent6: the hanging is not electronics. sent7: the tailor does heft norethynodrel if the smith does not heft norethynodrel. sent8: the fact that the mortification does not heft Agkistrodon is right if the smith does not cohere Mordva. sent9: if something does cohere pneumatophore it coheres Mordva and does not heft Agkistrodon. sent10: the smith does not cohere Mordva if it is not bimorphemic. sent11: the hanging does not heft norethynodrel. sent12: there is something such that it hefts hanging. sent13: that the smith does not cohere Mordva is true if that it is bimorphemic and does not heft norethynodrel is not true. sent14: the tailor does heft norethynodrel. sent15: the mortification is electronics if the tailor hefts Agkistrodon. sent16: if something does cohere Mordva and does not heft Agkistrodon then it is electronics. sent17: if that the mortification is not electronics hold the hanging is electronics and it does heft Agkistrodon. sent18: if something hefts hanging and/or it does not excel daub then it coheres pneumatophore. sent19: that the mortification does cohere Mordva but it does not heft Agkistrodon is not correct if there are non-electronics things.
void -> assump1: Let's assume that the fact that the smith is bimorphemic but it does not heft norethynodrel does not hold.; sent13 & assump1 -> int1: the smith does not cohere Mordva.; int1 & sent4 -> int2: the mortification does cohere Mordva but it does not heft Agkistrodon.; sent6 -> int3: there exists something such that it is not electronics.; int3 & sent19 -> int4: that the mortification does cohere Mordva and does not heft Agkistrodon does not hold.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the smith is bimorphemic thing that does not heft norethynodrel.; int6 -> int7: that the smith does not heft norethynodrel is not incorrect.; int7 & sent1 -> hypothesis;
that the tailor hefts norethynodrel and is isthmian does not hold.
sent5 -> int8: if the tailor is not electronics that it does heft norethynodrel and is isthmian is wrong.; sent16 -> int9: if the smith does cohere Mordva but it does not heft Agkistrodon then it is electronics.; sent9 -> int10: the smith does cohere Mordva and does not heft Agkistrodon if it coheres pneumatophore.; sent18 -> int11: if either the smith hefts hanging or it does not excel daub or both then it does cohere pneumatophore.;
$hypothesis$ = the tailor hefts norethynodrel and it is isthmian. ; $context$ = sent1: the tailor hefts norethynodrel and it is isthmian if the smith does not hefts norethynodrel. sent2: that the mortification coheres Mordva and hefts Agkistrodon does not hold. sent3: the tailor hefts Agkistrodon. sent4: the mortification coheres Mordva and does not heft Agkistrodon if the smith does not coheres Mordva. sent5: the fact that something hefts norethynodrel and it is isthmian does not hold if the fact that it is not electronics hold. sent6: the hanging is not electronics. sent7: the tailor does heft norethynodrel if the smith does not heft norethynodrel. sent8: the fact that the mortification does not heft Agkistrodon is right if the smith does not cohere Mordva. sent9: if something does cohere pneumatophore it coheres Mordva and does not heft Agkistrodon. sent10: the smith does not cohere Mordva if it is not bimorphemic. sent11: the hanging does not heft norethynodrel. sent12: there is something such that it hefts hanging. sent13: that the smith does not cohere Mordva is true if that it is bimorphemic and does not heft norethynodrel is not true. sent14: the tailor does heft norethynodrel. sent15: the mortification is electronics if the tailor hefts Agkistrodon. sent16: if something does cohere Mordva and does not heft Agkistrodon then it is electronics. sent17: if that the mortification is not electronics hold the hanging is electronics and it does heft Agkistrodon. sent18: if something hefts hanging and/or it does not excel daub then it coheres pneumatophore. sent19: that the mortification does cohere Mordva but it does not heft Agkistrodon is not correct if there are non-electronics things. ; $proof$ = 
void -> assump1: Let's assume that the fact that the smith is bimorphemic but it does not heft norethynodrel does not hold.; sent13 & assump1 -> int1: the smith does not cohere Mordva.; int1 & sent4 -> int2: the mortification does cohere Mordva but it does not heft Agkistrodon.; sent6 -> int3: there exists something such that it is not electronics.; int3 & sent19 -> int4: that the mortification does cohere Mordva and does not heft Agkistrodon does not hold.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the smith is bimorphemic thing that does not heft norethynodrel.; int6 -> int7: that the smith does not heft norethynodrel is not incorrect.; int7 & sent1 -> hypothesis; __PROVED__