the oxyhemoglobin is a ship.
sent1: the rerebrace is a Panipat if the fact that the torso does not toss is incorrect. sent2: the hollyhock is a kind of a duff. sent3: the oxyhemoglobin is a Panipat if there exists something such that it ships and it does not down chipboard. sent4: if the rerebrace is a toss the torso does down chipboard and is not a Panipat. sent5: there is something such that it is not a Panipat. sent6: the rerebrace ships. sent7: the slacks is a seaward. sent8: if the torso does not toss then the rerebrace is a kind of a ship but it is not a duff. sent9: there is something such that it downs clamshell and does not down demur. sent10: the rerebrace is a duff. sent11: there exists something such that it does down chipboard and is a Panipat. sent12: if that something is both a boating and an inversion does not hold it is not a boating. sent13: the propagandist does not boat if the slacks is a pasture. sent14: if the slacks is a kind of a wheatgrass then it is a kind of a pasture. sent15: if something that downs chipboard is not a Panipat the hollyhock is a boating. sent16: if the rerebrace is a kind of a toss then the torso does down chipboard. sent17: the oxyhemoglobin does not ship if the fact that the rerebrace is both a ship and not a duff hold. sent18: the oxyhemoglobin is an inversion if the hollyhock is a boating. sent19: if the slacks is a seaward then it is a wheatgrass. sent20: the fact that the torso does down chipboard hold. sent21: the rerebrace is a toss and a duff. sent22: there exists something such that it downs chipboard. sent23: the cerumen photosensitizes Northumberland but it is not a toss.
sent21 -> int1: the rerebrace tosses.; int1 & sent4 -> int2: the torso does down chipboard but it is not a kind of a Panipat.; int2 -> int3: the fact that something downs chipboard and is not a Panipat is correct.; int3 & sent15 -> int4: the hollyhock is a boating.; int4 & sent18 -> int5: the oxyhemoglobin is an inversion.;
the oxyhemoglobin does not ship.
sent12 -> int6: if that the hollyhock is a boating and is a kind of an inversion is not right it is not a boating.; sent19 & sent7 -> int7: the slacks is a kind of a wheatgrass.; sent14 & int7 -> int8: the slacks is a pasture.; sent13 & int8 -> int9: the propagandist is not a boating.; int9 -> int10: something is not a kind of a boating.;
$hypothesis$ = the oxyhemoglobin is a ship. ; $context$ = sent1: the rerebrace is a Panipat if the fact that the torso does not toss is incorrect. sent2: the hollyhock is a kind of a duff. sent3: the oxyhemoglobin is a Panipat if there exists something such that it ships and it does not down chipboard. sent4: if the rerebrace is a toss the torso does down chipboard and is not a Panipat. sent5: there is something such that it is not a Panipat. sent6: the rerebrace ships. sent7: the slacks is a seaward. sent8: if the torso does not toss then the rerebrace is a kind of a ship but it is not a duff. sent9: there is something such that it downs clamshell and does not down demur. sent10: the rerebrace is a duff. sent11: there exists something such that it does down chipboard and is a Panipat. sent12: if that something is both a boating and an inversion does not hold it is not a boating. sent13: the propagandist does not boat if the slacks is a pasture. sent14: if the slacks is a kind of a wheatgrass then it is a kind of a pasture. sent15: if something that downs chipboard is not a Panipat the hollyhock is a boating. sent16: if the rerebrace is a kind of a toss then the torso does down chipboard. sent17: the oxyhemoglobin does not ship if the fact that the rerebrace is both a ship and not a duff hold. sent18: the oxyhemoglobin is an inversion if the hollyhock is a boating. sent19: if the slacks is a seaward then it is a wheatgrass. sent20: the fact that the torso does down chipboard hold. sent21: the rerebrace is a toss and a duff. sent22: there exists something such that it downs chipboard. sent23: the cerumen photosensitizes Northumberland but it is not a toss. ; $proof$ = 
sent21 -> int1: the rerebrace tosses.; int1 & sent4 -> int2: the torso does down chipboard but it is not a kind of a Panipat.; int2 -> int3: the fact that something downs chipboard and is not a Panipat is correct.; int3 & sent15 -> int4: the hollyhock is a boating.; int4 & sent18 -> int5: the oxyhemoglobin is an inversion.; __UNKNOWN__