there is something such that it is not a kind of a plop.
sent1: there is something such that it is a plop. sent2: the fact that the carryall is not multicultural and it does not plop is wrong if there is something such that it does not surprise. sent3: if something is not a bus then it fingerprints sexed. sent4: if the myrobalan is a bus that is a plop then the sennit is not multicultural. sent5: something is not nonsurgical. sent6: the myrobalan is a kind of a bus. sent7: the sennit is not hipless. sent8: there exists something such that it is not a surprise.
void -> assump1: Let's assume that the myrobalan is a plop.; sent6 & assump1 -> int1: the myrobalan is a kind of a bus that is a kind of a plop.; int1 & sent4 -> int2: the sennit is not multicultural.;
that the myrobalan fingerprints sexed and it is tectonics hold.
sent3 -> int3: the myrobalan fingerprints sexed if it is not a bus.; sent8 & sent2 -> int4: the fact that the carryall is not multicultural and it is not a plop does not hold.; int4 -> int5: there is something such that the fact that it is not multicultural and it is not a plop is incorrect.;
$hypothesis$ = there is something such that it is not a kind of a plop. ; $context$ = sent1: there is something such that it is a plop. sent2: the fact that the carryall is not multicultural and it does not plop is wrong if there is something such that it does not surprise. sent3: if something is not a bus then it fingerprints sexed. sent4: if the myrobalan is a bus that is a plop then the sennit is not multicultural. sent5: something is not nonsurgical. sent6: the myrobalan is a kind of a bus. sent7: the sennit is not hipless. sent8: there exists something such that it is not a surprise. ; $proof$ = 
void -> assump1: Let's assume that the myrobalan is a plop.; sent6 & assump1 -> int1: the myrobalan is a kind of a bus that is a kind of a plop.; int1 & sent4 -> int2: the sennit is not multicultural.; __UNKNOWN__