the licorice is a kind of a self-disciplined.
sent1: that the endomorph is antimagnetic is not incorrect if it is not a kind of a priest. sent2: the endomorph is not a priest if there exists something such that the fact that it does not deposit derision and is not a kind of an amino is not true. sent3: the effluvium does not immerse. sent4: the licorice is a self-disciplined if something that does dung is not confident. sent5: the couch is a kind of a kite if the divot does not deposit derision and it is not a kind of an amino. sent6: something does immerse if it is antimagnetic. sent7: something does dung and is not confident if it is a kite.
void -> assump1: Let's assume that that the divot does not deposit derision and it is not an amino does not hold.; assump1 -> int1: there is something such that the fact that it does not deposit derision and it is not amino is not correct.; int1 & sent2 -> int2: the endomorph is not a priest.; int2 & sent1 -> int3: the endomorph is antimagnetic.; sent6 -> int4: if the endomorph is antimagnetic then it does immerse.; int3 & int4 -> int5: the endomorph does immerse.; sent7 -> int6: the couch dungs but it is not confident if it is a kind of a kite.;
$hypothesis$ = the licorice is a kind of a self-disciplined. ; $context$ = sent1: that the endomorph is antimagnetic is not incorrect if it is not a kind of a priest. sent2: the endomorph is not a priest if there exists something such that the fact that it does not deposit derision and is not a kind of an amino is not true. sent3: the effluvium does not immerse. sent4: the licorice is a self-disciplined if something that does dung is not confident. sent5: the couch is a kind of a kite if the divot does not deposit derision and it is not a kind of an amino. sent6: something does immerse if it is antimagnetic. sent7: something does dung and is not confident if it is a kite. ; $proof$ = 
void -> assump1: Let's assume that that the divot does not deposit derision and it is not an amino does not hold.; assump1 -> int1: there is something such that the fact that it does not deposit derision and it is not amino is not correct.; int1 & sent2 -> int2: the endomorph is not a priest.; int2 & sent1 -> int3: the endomorph is antimagnetic.; sent6 -> int4: if the endomorph is antimagnetic then it does immerse.; int3 & int4 -> int5: the endomorph does immerse.; sent7 -> int6: the couch dungs but it is not confident if it is a kind of a kite.; __UNKNOWN__