the graphologist is not minors.
sent1: if the fact that the curiosity is a diapir and it is ophthalmic is not correct it is not ophthalmic. sent2: the anecdotist is not a kind of a pinon. sent3: if the curiosity is a thermotherapy then the eggnog is ophthalmic. sent4: if the fact that the curiosity is both not ophthalmic and non-minors is right the graphologist is non-minors. sent5: the fact that the anecdotist does not shoot morphophoneme and is not a diapir does not hold if the eggnog is ophthalmic. sent6: the eggnog is a kind of non-minors thing that does not shoot morphophoneme. sent7: if that the anecdotist does not shoot morphophoneme and is not a kind of a diapir is wrong it is a pinon. sent8: if that the graphologist is not spermous and/or it is a kind of a finial does not hold it is not minors. sent9: if something is not a kind of a thermotherapy then it is a finial. sent10: that the fact that the curiosity is both a diapir and ophthalmic hold is not right if there is something such that it is a thermotherapy.
void -> assump1: Let's assume that the curiosity is a thermotherapy.; sent3 & assump1 -> int1: the eggnog is ophthalmic.; int1 & sent5 -> int2: that the anecdotist does not shoot morphophoneme and is not a kind of a diapir does not hold.; int2 & sent7 -> int3: the anecdotist is a pinon.; int3 & sent2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the curiosity is not a kind of a thermotherapy.; sent9 -> int6: the fact that the curiosity is a finial hold if it is not a thermotherapy.; int5 & int6 -> int7: the curiosity is a kind of a finial.;
the graphologist is minors.
$hypothesis$ = the graphologist is not minors. ; $context$ = sent1: if the fact that the curiosity is a diapir and it is ophthalmic is not correct it is not ophthalmic. sent2: the anecdotist is not a kind of a pinon. sent3: if the curiosity is a thermotherapy then the eggnog is ophthalmic. sent4: if the fact that the curiosity is both not ophthalmic and non-minors is right the graphologist is non-minors. sent5: the fact that the anecdotist does not shoot morphophoneme and is not a diapir does not hold if the eggnog is ophthalmic. sent6: the eggnog is a kind of non-minors thing that does not shoot morphophoneme. sent7: if that the anecdotist does not shoot morphophoneme and is not a kind of a diapir is wrong it is a pinon. sent8: if that the graphologist is not spermous and/or it is a kind of a finial does not hold it is not minors. sent9: if something is not a kind of a thermotherapy then it is a finial. sent10: that the fact that the curiosity is both a diapir and ophthalmic hold is not right if there is something such that it is a thermotherapy. ; $proof$ = 
void -> assump1: Let's assume that the curiosity is a thermotherapy.; sent3 & assump1 -> int1: the eggnog is ophthalmic.; int1 & sent5 -> int2: that the anecdotist does not shoot morphophoneme and is not a kind of a diapir does not hold.; int2 & sent7 -> int3: the anecdotist is a pinon.; int3 & sent2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the curiosity is not a kind of a thermotherapy.; sent9 -> int6: the fact that the curiosity is a finial hold if it is not a thermotherapy.; int5 & int6 -> int7: the curiosity is a kind of a finial.; __UNKNOWN__