there is something such that if it is indusial it is not a Shannon.
sent1: the fact that the snorkel does melanize anteriority and does repine snorkel is wrong. sent2: if something melanizes anteriority that it is a Rushdie is right. sent3: the snorkel is a kind of a Rushdie if it melanizes anteriority. sent4: something that is a Rushdie and is a kind of a Shannon is not indusial. sent5: the snorkel is not non-indusial if it is a Rushdie that is a Shannon. sent6: the snorkel is acyclic. sent7: if the snorkel is acyclic then the fact that it does not melanize anteriority and it repines snorkel is false. sent8: there exists something such that if it is indusial then it is a Shannon.
sent7 & sent6 -> int1: the fact that the snorkel does not melanize anteriority and does repine snorkel does not hold.; void -> assump1: Let's assume that the fact that the snorkel is a Shannon hold.; sent4 -> int2: if the snorkel is a Rushdie and it is a Shannon then that it is not indusial is not false.;
$hypothesis$ = there is something such that if it is indusial it is not a Shannon. ; $context$ = sent1: the fact that the snorkel does melanize anteriority and does repine snorkel is wrong. sent2: if something melanizes anteriority that it is a Rushdie is right. sent3: the snorkel is a kind of a Rushdie if it melanizes anteriority. sent4: something that is a Rushdie and is a kind of a Shannon is not indusial. sent5: the snorkel is not non-indusial if it is a Rushdie that is a Shannon. sent6: the snorkel is acyclic. sent7: if the snorkel is acyclic then the fact that it does not melanize anteriority and it repines snorkel is false. sent8: there exists something such that if it is indusial then it is a Shannon. ; $proof$ = 
sent7 & sent6 -> int1: the fact that the snorkel does not melanize anteriority and does repine snorkel does not hold.; void -> assump1: Let's assume that the fact that the snorkel is a Shannon hold.; sent4 -> int2: if the snorkel is a Rushdie and it is a Shannon then that it is not indusial is not false.; __UNKNOWN__