the juke does top oxford.
sent1: if the snake is a prayerbook then the backdrop cures. sent2: if the fact that something is non-ratty thing that cures does not hold then it is wheelless. sent3: the fact that something is a kind of a prayerbook is true if it is a Schonbein. sent4: the backdrop is a four if the petticoat is wheelless. sent5: if the backdrop is a kind of a four and it is not non-ratty then it is not a Schonbein. sent6: the stratus is a kind of a shiva. sent7: that the petticoat is ratty and cures is wrong. sent8: the snake is not a four. sent9: if that the snake does not cure is right the fact that the petticoat is not ratty and does cure is not right. sent10: the petticoat is wheelless if it is ratty. sent11: if something is ratty it is wheelless. sent12: if the fact that the snake does not cure hold then the fact that the petticoat is a kind of ratty thing that cure does not hold. sent13: if that the backdrop cures is not false it is a kind of a Schonbein. sent14: if the fact that something does not top oxford and is diamagnetic is not true then it is a prayerbook. sent15: if something is a prayerbook and it is a four it is cellular. sent16: if there exists something such that it hushes then the stratus is a shiva. sent17: if the stratus is not diamagnetic but a shiva then the snake does not cure. sent18: the juke does top oxford if the backdrop is not noncellular. sent19: the fact that the backdrop is a Schonbein hold. sent20: if that something is a kind of a hushed and is not diamagnetic is incorrect then it is not a hushed. sent21: the fact that the petticoat is not a kind of a Schonbein is not false. sent22: the stratus is non-diamagnetic thing that is a kind of a shiva if there is something such that it hushes. sent23: something is a kind of a scout if that it is not mindless and is a madrigalist is incorrect.
sent2 -> int1: the petticoat is wheelless if that it is not ratty and it does cure is not correct.; sent3 -> int2: the backdrop is a prayerbook if it is a Schonbein.; int2 & sent19 -> int3: the backdrop is a prayerbook.; sent15 -> int4: if the backdrop is a prayerbook and it is a kind of a four it is not noncellular.;
the juke does not top oxford.
sent20 -> int5: if that the stratus does hush but it is not diamagnetic is false then it does not hush.;
$hypothesis$ = the juke does top oxford. ; $context$ = sent1: if the snake is a prayerbook then the backdrop cures. sent2: if the fact that something is non-ratty thing that cures does not hold then it is wheelless. sent3: the fact that something is a kind of a prayerbook is true if it is a Schonbein. sent4: the backdrop is a four if the petticoat is wheelless. sent5: if the backdrop is a kind of a four and it is not non-ratty then it is not a Schonbein. sent6: the stratus is a kind of a shiva. sent7: that the petticoat is ratty and cures is wrong. sent8: the snake is not a four. sent9: if that the snake does not cure is right the fact that the petticoat is not ratty and does cure is not right. sent10: the petticoat is wheelless if it is ratty. sent11: if something is ratty it is wheelless. sent12: if the fact that the snake does not cure hold then the fact that the petticoat is a kind of ratty thing that cure does not hold. sent13: if that the backdrop cures is not false it is a kind of a Schonbein. sent14: if the fact that something does not top oxford and is diamagnetic is not true then it is a prayerbook. sent15: if something is a prayerbook and it is a four it is cellular. sent16: if there exists something such that it hushes then the stratus is a shiva. sent17: if the stratus is not diamagnetic but a shiva then the snake does not cure. sent18: the juke does top oxford if the backdrop is not noncellular. sent19: the fact that the backdrop is a Schonbein hold. sent20: if that something is a kind of a hushed and is not diamagnetic is incorrect then it is not a hushed. sent21: the fact that the petticoat is not a kind of a Schonbein is not false. sent22: the stratus is non-diamagnetic thing that is a kind of a shiva if there is something such that it hushes. sent23: something is a kind of a scout if that it is not mindless and is a madrigalist is incorrect. ; $proof$ = 
sent2 -> int1: the petticoat is wheelless if that it is not ratty and it does cure is not correct.; sent3 -> int2: the backdrop is a prayerbook if it is a Schonbein.; int2 & sent19 -> int3: the backdrop is a prayerbook.; sent15 -> int4: if the backdrop is a prayerbook and it is a kind of a four it is not noncellular.; __UNKNOWN__