the sulindac is not a kind of a Goodyear and does not daydream.
sent1: if there exists something such that the fact that it is not Beethovenian and does lysogenize edema is false then the pangolin does not lysogenize edema. sent2: the Norman is a Bertillon if it does not besot azimuth. sent3: if the Norman does besot azimuth the pangolin does lysogenize edema. sent4: if there exists something such that the fact that it does not bundle hyperthermia and it is not a Willebrand is not true then the sulindac is a Duma. sent5: the Norman is not a Meissner if it is a Bertillon. sent6: if something is not a kind of a Meissner then the fact that it does not bundle hyperthermia and it is not a kind of a Willebrand does not hold. sent7: there exists something such that that it is not Beethovenian and does lysogenize edema is wrong. sent8: there exists something such that the fact that it is Beethovenian and it lysogenizes edema is not right. sent9: that something does not lysogenize edema and it does not daydream is wrong if it does not besot azimuth.
void -> assump1: Let's assume that the Norman besots azimuth.; sent3 & assump1 -> int1: the pangolin lysogenizes edema.; sent7 & sent1 -> int2: the pangolin does not lysogenize edema.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Norman does not besot azimuth.; int4 & sent2 -> int5: the Norman is a kind of a Bertillon.; int5 & sent5 -> int6: the Norman is not a Meissner.; sent6 -> int7: if the Norman is not a kind of a Meissner that it does not bundle hyperthermia and it is not a Willebrand is incorrect.; int6 & int7 -> int8: that the Norman does not bundle hyperthermia and it is not a Willebrand is wrong.; int8 -> int9: there is something such that the fact that it does not bundle hyperthermia and it is not a Willebrand does not hold.; int9 & sent4 -> int10: that the sulindac is a Duma is not false.;
$hypothesis$ = the sulindac is not a kind of a Goodyear and does not daydream. ; $context$ = sent1: if there exists something such that the fact that it is not Beethovenian and does lysogenize edema is false then the pangolin does not lysogenize edema. sent2: the Norman is a Bertillon if it does not besot azimuth. sent3: if the Norman does besot azimuth the pangolin does lysogenize edema. sent4: if there exists something such that the fact that it does not bundle hyperthermia and it is not a Willebrand is not true then the sulindac is a Duma. sent5: the Norman is not a Meissner if it is a Bertillon. sent6: if something is not a kind of a Meissner then the fact that it does not bundle hyperthermia and it is not a kind of a Willebrand does not hold. sent7: there exists something such that that it is not Beethovenian and does lysogenize edema is wrong. sent8: there exists something such that the fact that it is Beethovenian and it lysogenizes edema is not right. sent9: that something does not lysogenize edema and it does not daydream is wrong if it does not besot azimuth. ; $proof$ = 
void -> assump1: Let's assume that the Norman besots azimuth.; sent3 & assump1 -> int1: the pangolin lysogenizes edema.; sent7 & sent1 -> int2: the pangolin does not lysogenize edema.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Norman does not besot azimuth.; int4 & sent2 -> int5: the Norman is a kind of a Bertillon.; int5 & sent5 -> int6: the Norman is not a Meissner.; sent6 -> int7: if the Norman is not a kind of a Meissner that it does not bundle hyperthermia and it is not a Willebrand is incorrect.; int6 & int7 -> int8: that the Norman does not bundle hyperthermia and it is not a Willebrand is wrong.; int8 -> int9: there is something such that the fact that it does not bundle hyperthermia and it is not a Willebrand does not hold.; int9 & sent4 -> int10: that the sulindac is a Duma is not false.; __UNKNOWN__