the Wain is not ambiversive and is a variorum.
sent1: the mire is not anticancer. sent2: the Sardinian is not a Kamba. sent3: the mire is a Kamba and is not anticancer. sent4: something is not a kind of a Mustelus if that it is a Mustelus that is prenuptial does not hold. sent5: the fact that that the Wain is a Mustelus and it is not non-prenuptial does not hold is true if the mire is not a novelty. sent6: the fact that the Wain is not ambiversive and is a kind of a variorum is incorrect if the fact that the mire is not ambiversive hold. sent7: something is not ambiversive but it is a variorum if it is not a Mustelus. sent8: if the mire is a kind of a Kamba and is not anticancer then it is not ambiversive. sent9: the mire is not ambiversive if it is a Kamba and it is anticancer. sent10: the mire is not ambiversive if it is a variorum and is not anticancer. sent11: that the Wain is ambiversive and a variorum is incorrect. sent12: if the fact that the mire is not ambiversive is not false the fact that the Wain is both ambiversive and a variorum is not correct. sent13: something is not a novelty if it is communist thing that is not haemophilic.
sent8 & sent3 -> int1: the mire is not ambiversive.; sent6 & int1 -> hypothesis;
the Wain is not ambiversive but a variorum.
sent7 -> int2: if the Wain is not a kind of a Mustelus it is not ambiversive and it is a variorum.; sent4 -> int3: the Wain is not a kind of a Mustelus if the fact that it is a Mustelus and it is prenuptial does not hold.; sent13 -> int4: the mire is not a novelty if it is a kind of a communist and it is not haemophilic.;
$hypothesis$ = the Wain is not ambiversive and is a variorum. ; $context$ = sent1: the mire is not anticancer. sent2: the Sardinian is not a Kamba. sent3: the mire is a Kamba and is not anticancer. sent4: something is not a kind of a Mustelus if that it is a Mustelus that is prenuptial does not hold. sent5: the fact that that the Wain is a Mustelus and it is not non-prenuptial does not hold is true if the mire is not a novelty. sent6: the fact that the Wain is not ambiversive and is a kind of a variorum is incorrect if the fact that the mire is not ambiversive hold. sent7: something is not ambiversive but it is a variorum if it is not a Mustelus. sent8: if the mire is a kind of a Kamba and is not anticancer then it is not ambiversive. sent9: the mire is not ambiversive if it is a Kamba and it is anticancer. sent10: the mire is not ambiversive if it is a variorum and is not anticancer. sent11: that the Wain is ambiversive and a variorum is incorrect. sent12: if the fact that the mire is not ambiversive is not false the fact that the Wain is both ambiversive and a variorum is not correct. sent13: something is not a novelty if it is communist thing that is not haemophilic. ; $proof$ = 
sent8 & sent3 -> int1: the mire is not ambiversive.; sent6 & int1 -> hypothesis; __DISPROVED__