the statin is not a kind of a playroom.
sent1: the jodhpur is not striate and it is not a kind of a Leporidae. sent2: if the highroad is a matriculate then it is a rabbi. sent3: the statin is a motley if it is a kind of a matriculate. sent4: the statin is not a kind of a playroom and it is not a rabbi if it does not proliferate. sent5: that the highroad does not proliferate and is a kind of a rabbi is not correct. sent6: the jodhpur is not a kind of a motley. sent7: if the fact that something is a kind of a matriculate is correct the fact that the highroad does not leap authority and it is not a rabbi is incorrect. sent8: the jodhpur does leap authority if it is a matriculate. sent9: if the fact that the jodhpur is a Loasaceae is not false then the fact that it is a kind of a rabbi is right. sent10: something that is not a Loasaceae does not leap authority and is not a rabbi. sent11: the fact that the highroad is a ductule but it does not proliferate is not true. sent12: the jodhpur does not matriculate. sent13: if the statin is a playroom it is a kind of a motley. sent14: if something is a kind of a playroom then that the jodhpur is not a rabbi and does not proliferate is not true. sent15: the highroad is not a playroom if the fact that the statin is not a playroom is true. sent16: if there exists something such that that it matriculates is right then that the highroad is not a rabbi and is not a playroom is not true. sent17: if there is something such that it is a kind of a rabbi then the fact that the statin does motley and does not leap authority does not hold. sent18: the jodhpur is a kind of a Chrysomelidae if it does guggle blob. sent19: the highroad is not a matriculate. sent20: if the highroad is a playroom the statin is a kind of a playroom. sent21: something is a playroom if it does motley. sent22: the highroad is not a Loasaceae if that the jodhpur is a Loasaceae but it does not proliferate is not true. sent23: the fact that the jodhpur is a Loasaceae but not a rabbi is not right. sent24: the statin is not a kind of a matriculate. sent25: if the jodhpur is not a matriculate the fact that it is a Loasaceae and it does not proliferate does not hold.
void -> assump1: Let's assume that that the statin is a kind of a playroom is not wrong.; sent13 & assump1 -> int1: the statin is a motley.; int1 -> int2: there exists something such that the fact that it motleys is true.; sent10 -> int3: the highroad does not leap authority and is not a rabbi if it is not a Loasaceae.; sent25 & sent12 -> int4: that the jodhpur is a kind of a Loasaceae that does not proliferate is incorrect.; sent22 & int4 -> int5: the highroad is not a kind of a Loasaceae.; int3 & int5 -> int6: the highroad does not leap authority and it is not a kind of a rabbi.;
the statin is a playroom.
sent21 -> int7: the highroad is a kind of a playroom if it motleys.;
$hypothesis$ = the statin is not a kind of a playroom. ; $context$ = sent1: the jodhpur is not striate and it is not a kind of a Leporidae. sent2: if the highroad is a matriculate then it is a rabbi. sent3: the statin is a motley if it is a kind of a matriculate. sent4: the statin is not a kind of a playroom and it is not a rabbi if it does not proliferate. sent5: that the highroad does not proliferate and is a kind of a rabbi is not correct. sent6: the jodhpur is not a kind of a motley. sent7: if the fact that something is a kind of a matriculate is correct the fact that the highroad does not leap authority and it is not a rabbi is incorrect. sent8: the jodhpur does leap authority if it is a matriculate. sent9: if the fact that the jodhpur is a Loasaceae is not false then the fact that it is a kind of a rabbi is right. sent10: something that is not a Loasaceae does not leap authority and is not a rabbi. sent11: the fact that the highroad is a ductule but it does not proliferate is not true. sent12: the jodhpur does not matriculate. sent13: if the statin is a playroom it is a kind of a motley. sent14: if something is a kind of a playroom then that the jodhpur is not a rabbi and does not proliferate is not true. sent15: the highroad is not a playroom if the fact that the statin is not a playroom is true. sent16: if there exists something such that that it matriculates is right then that the highroad is not a rabbi and is not a playroom is not true. sent17: if there is something such that it is a kind of a rabbi then the fact that the statin does motley and does not leap authority does not hold. sent18: the jodhpur is a kind of a Chrysomelidae if it does guggle blob. sent19: the highroad is not a matriculate. sent20: if the highroad is a playroom the statin is a kind of a playroom. sent21: something is a playroom if it does motley. sent22: the highroad is not a Loasaceae if that the jodhpur is a Loasaceae but it does not proliferate is not true. sent23: the fact that the jodhpur is a Loasaceae but not a rabbi is not right. sent24: the statin is not a kind of a matriculate. sent25: if the jodhpur is not a matriculate the fact that it is a Loasaceae and it does not proliferate does not hold. ; $proof$ = 
void -> assump1: Let's assume that that the statin is a kind of a playroom is not wrong.; sent13 & assump1 -> int1: the statin is a motley.; int1 -> int2: there exists something such that the fact that it motleys is true.; sent10 -> int3: the highroad does not leap authority and is not a rabbi if it is not a Loasaceae.; sent25 & sent12 -> int4: that the jodhpur is a kind of a Loasaceae that does not proliferate is incorrect.; sent22 & int4 -> int5: the highroad is not a kind of a Loasaceae.; int3 & int5 -> int6: the highroad does not leap authority and it is not a kind of a rabbi.; __UNKNOWN__