the fact that the shale does not resent orphan is not incorrect.
sent1: if something does paper it parallels gambist. sent2: if something does educate but it is not a kind of a stethoscope then that it is a paper is correct. sent3: that the shale is not a medico is not false if something that does not resent orphan is not a thyroid. sent4: the shale is a condylion that does not declare. sent5: if the princewood does parallel gambist then it is mechanical. sent6: the ptomaine is not a thyroid if the fact that something is both not internal and not a medico hold. sent7: the drunkard is not internal. sent8: something is a kind of a thyroid if it is a kind of a stethoscope. sent9: if the princewood is mechanical the shale does not resent orphan. sent10: the opacification educates and is not a kind of a stethoscope if the princewood is not a stethoscope. sent11: the weigela is catholic and is not a stethoscope. sent12: the opacification is not a stethoscope if the fact that the Dean is a kind of non-internal thing that is not a kind of a medico is not correct. sent13: something resents orphan if that it is a kind of a thyroid is not false. sent14: the ptomaine is a thyroid.
void -> assump1: Let's assume that the Dean is not internal and it is not a medico.; assump1 -> int1: there is something such that it is a kind of non-internal thing that is not a medico.; int1 & sent6 -> int2: that the ptomaine is not a thyroid hold.; int2 & sent14 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the Dean is not internal and not a medico does not hold.; int4 & sent12 -> int5: the opacification is not a kind of a stethoscope.; sent2 -> int6: if the princewood does educate and is not a stethoscope it is a kind of a paper.; sent1 -> int7: if the princewood is a paper it does parallel gambist.;
the shale resents orphan.
sent13 -> int8: the shale resents orphan if it is not non-thyroid.; sent8 -> int9: if the shale is a kind of a stethoscope it is a thyroid.;
$hypothesis$ = the fact that the shale does not resent orphan is not incorrect. ; $context$ = sent1: if something does paper it parallels gambist. sent2: if something does educate but it is not a kind of a stethoscope then that it is a paper is correct. sent3: that the shale is not a medico is not false if something that does not resent orphan is not a thyroid. sent4: the shale is a condylion that does not declare. sent5: if the princewood does parallel gambist then it is mechanical. sent6: the ptomaine is not a thyroid if the fact that something is both not internal and not a medico hold. sent7: the drunkard is not internal. sent8: something is a kind of a thyroid if it is a kind of a stethoscope. sent9: if the princewood is mechanical the shale does not resent orphan. sent10: the opacification educates and is not a kind of a stethoscope if the princewood is not a stethoscope. sent11: the weigela is catholic and is not a stethoscope. sent12: the opacification is not a stethoscope if the fact that the Dean is a kind of non-internal thing that is not a kind of a medico is not correct. sent13: something resents orphan if that it is a kind of a thyroid is not false. sent14: the ptomaine is a thyroid. ; $proof$ = 
void -> assump1: Let's assume that the Dean is not internal and it is not a medico.; assump1 -> int1: there is something such that it is a kind of non-internal thing that is not a medico.; int1 & sent6 -> int2: that the ptomaine is not a thyroid hold.; int2 & sent14 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the Dean is not internal and not a medico does not hold.; int4 & sent12 -> int5: the opacification is not a kind of a stethoscope.; sent2 -> int6: if the princewood does educate and is not a stethoscope it is a kind of a paper.; sent1 -> int7: if the princewood is a paper it does parallel gambist.; __UNKNOWN__