something is not a sauerkraut.
sent1: there exists something such that it is immutable but not pectoral. sent2: there exists something such that it staggers chaff. sent3: if that the fact that the pedestrian is a Mendelism and does suppurate is false hold the forger does not batch guestroom. sent4: the fact that the lily is not a sauerkraut hold if there exists something such that it is not a gooney and is not a kind of a pearler. sent5: if there exists something such that it staggers chaff the fact that the pedestrian is a kind of a Mendelism and does suppurate does not hold.
sent2 & sent5 -> int1: that the pedestrian is a Mendelism and does suppurate does not hold.; sent3 & int1 -> int2: the forger does not batch guestroom.; int2 -> int3: there is something such that that it does not batch guestroom is right.;
$hypothesis$ = something is not a sauerkraut. ; $context$ = sent1: there exists something such that it is immutable but not pectoral. sent2: there exists something such that it staggers chaff. sent3: if that the fact that the pedestrian is a Mendelism and does suppurate is false hold the forger does not batch guestroom. sent4: the fact that the lily is not a sauerkraut hold if there exists something such that it is not a gooney and is not a kind of a pearler. sent5: if there exists something such that it staggers chaff the fact that the pedestrian is a kind of a Mendelism and does suppurate does not hold. ; $proof$ = 
sent2 & sent5 -> int1: that the pedestrian is a Mendelism and does suppurate does not hold.; sent3 & int1 -> int2: the forger does not batch guestroom.; int2 -> int3: there is something such that that it does not batch guestroom is right.; __UNKNOWN__