there exists something such that if it is not a cusk-eel then that it sentimentalises turbinate is right.
sent1: there exists something such that if it is a cusk-eel then it does sentimentalise turbinate. sent2: the turbinate does sentimentalise turbinate if it is a kind of a cusk-eel. sent3: there exists something such that it is dissimilar. sent4: there are non-off-site things. sent5: if a non-off-site thing is dissimilar then the turbinate is not an external. sent6: something is off-site and it is dissimilar. sent7: the turbinate is not dissimilar. sent8: something is a cusk-eel if the fact that it is not external and it is not a columnist is true. sent9: something is non-off-site thing that is dissimilar.
sent9 & sent5 -> int1: the turbinate is not external.; void -> assump2: Let's assume that the turbinate is not a columnist.; int1 & assump2 -> int2: the turbinate is both not external and not a columnist.; sent8 -> int3: if the turbinate is not an external and is not a columnist then it is a cusk-eel.; int2 & int3 -> int4: the turbinate is a kind of a cusk-eel.; void -> assump1: Let's assume that the fact that the turbinate is not a cusk-eel is correct.; int4 & assump1 -> int5: this is contradiction.; [assump2] & int5 -> int6: the turbinate is a kind of a columnist.;
$hypothesis$ = there exists something such that if it is not a cusk-eel then that it sentimentalises turbinate is right. ; $context$ = sent1: there exists something such that if it is a cusk-eel then it does sentimentalise turbinate. sent2: the turbinate does sentimentalise turbinate if it is a kind of a cusk-eel. sent3: there exists something such that it is dissimilar. sent4: there are non-off-site things. sent5: if a non-off-site thing is dissimilar then the turbinate is not an external. sent6: something is off-site and it is dissimilar. sent7: the turbinate is not dissimilar. sent8: something is a cusk-eel if the fact that it is not external and it is not a columnist is true. sent9: something is non-off-site thing that is dissimilar. ; $proof$ = 
sent9 & sent5 -> int1: the turbinate is not external.; void -> assump2: Let's assume that the turbinate is not a columnist.; int1 & assump2 -> int2: the turbinate is both not external and not a columnist.; sent8 -> int3: if the turbinate is not an external and is not a columnist then it is a cusk-eel.; int2 & int3 -> int4: the turbinate is a kind of a cusk-eel.; void -> assump1: Let's assume that the fact that the turbinate is not a cusk-eel is correct.; int4 & assump1 -> int5: this is contradiction.; [assump2] & int5 -> int6: the turbinate is a kind of a columnist.; __UNKNOWN__