the trout is not a kind of a suburbanite.
sent1: the eavesdropper does mind if it smiles. sent2: the eavesdropper is a smile. sent3: if something that is a kind of a polack does mind the trout does not drug. sent4: a volatile that is not a drug is not a suburbanite. sent5: the fact that the disposal is not a Blissus but it is a Hale is not correct if the eavesdropper is not a polack. sent6: the trout is a kind of a volatile. sent7: the disposal is a kind of a unapproachability and is a unworthiness.
void -> assump1: Let's assume that the fact that the eavesdropper is not a polack is true.; sent5 & assump1 -> int1: the fact that the disposal is not a kind of a Blissus and is a kind of a Hale is wrong.; sent7 -> int2: the fact that the disposal is a unworthiness hold.; sent1 & sent2 -> int3: that the eavesdropper minds hold.; sent4 -> int4: the trout is not a suburbanite if it is both volatile and not a drug.;
$hypothesis$ = the trout is not a kind of a suburbanite. ; $context$ = sent1: the eavesdropper does mind if it smiles. sent2: the eavesdropper is a smile. sent3: if something that is a kind of a polack does mind the trout does not drug. sent4: a volatile that is not a drug is not a suburbanite. sent5: the fact that the disposal is not a Blissus but it is a Hale is not correct if the eavesdropper is not a polack. sent6: the trout is a kind of a volatile. sent7: the disposal is a kind of a unapproachability and is a unworthiness. ; $proof$ = 
void -> assump1: Let's assume that the fact that the eavesdropper is not a polack is true.; sent5 & assump1 -> int1: the fact that the disposal is not a kind of a Blissus and is a kind of a Hale is wrong.; sent7 -> int2: the fact that the disposal is a unworthiness hold.; sent1 & sent2 -> int3: that the eavesdropper minds hold.; sent4 -> int4: the trout is not a suburbanite if it is both volatile and not a drug.; __UNKNOWN__