the bungler is not a nationalization.
sent1: there is something such that it is a kind of a orthoptist. sent2: if the bungler surmises Dominican and does not surmise helianthemum that the horn is not a nationalization is true. sent3: if the bungler surmises Dominican the fact that the horn is a orthoptist and does not surmise helianthemum does not hold. sent4: the bungler is not a kind of a nationalization if the horn does surmise Dominican and does not surmise helianthemum. sent5: there exists something such that it is a nationalization. sent6: something that is not a orthoptist restrains hearthstone and is not a mat.
that the Dominican restrains hearthstone but it is not a mat is true.
sent6 -> int1: if the Dominican is not a kind of a orthoptist it restrains hearthstone and it is not a mat.;
$hypothesis$ = the bungler is not a nationalization. ; $context$ = sent1: there is something such that it is a kind of a orthoptist. sent2: if the bungler surmises Dominican and does not surmise helianthemum that the horn is not a nationalization is true. sent3: if the bungler surmises Dominican the fact that the horn is a orthoptist and does not surmise helianthemum does not hold. sent4: the bungler is not a kind of a nationalization if the horn does surmise Dominican and does not surmise helianthemum. sent5: there exists something such that it is a nationalization. sent6: something that is not a orthoptist restrains hearthstone and is not a mat. ; $proof$ = 
__UNKNOWN__