the tasset does not muff Brattleboro and it is not a flatmate.
sent1: if the cookie is not a development or lesser or both the fact that the tasset does not muff Brattleboro is true. sent2: the cookie is Neanderthal if it is not lesser and/or it is a development. sent3: the off-roader does not sound iproclozide and is not a leotard. sent4: the tasset is a kind of a Salvador but it is not a kind of a trunk. sent5: if there is something such that it is not a cephalothin then that the lateen is non-cosmopolitan is not wrong. sent6: the cookie is not pyrogallic. sent7: the cookie is not lesser or it is a development or both. sent8: if the pothook is not cosmopolitan then the lateen either is not a cephalothin or is not pyrogallic or both. sent9: the tasset is not a flatmate if it is a kind of a Salvador that is not calorimetric. sent10: something is not pyrogallic and not a cephalothin if it is Neanderthal. sent11: the cookie is not a kind of a development if the lateen is Neanderthal. sent12: that the off-roader is insurrectional is not wrong. sent13: if the off-roader is not a leotard then the fact that the lateen is a leotard and it is a cephalothin is wrong. sent14: the tasset is a Salvador and is not calorimetric. sent15: that the unit is a cephalothin and it is a disparity is incorrect. sent16: the off-roader is not a kind of a barb. sent17: if the off-roader sounds iproclozide that the tasset does not muff Brattleboro and it is not a kind of a flatmate does not hold. sent18: if the fact that something does sound iproclozide and is a kind of a barb does not hold that it is not a kind of a cosmopolitan is not incorrect. sent19: if something is not a barb it does muff Brattleboro. sent20: the tasset does barb or is not a kind of a flatmate or both if the pothook is not a leotard. sent21: if either something is not a cephalothin or it is not pyrogallic or both then it is Neanderthal. sent22: something is not lesser if it is not a kind of a development.
sent3 -> int1: the off-roader does not sound iproclozide.; sent18 -> int2: if the fact that the pothook sounds iproclozide and it is a barb is not right then it is not a cosmopolitan.; sent21 -> int3: the lateen is Neanderthal if it is either not a cephalothin or not pyrogallic or both.; sent9 & sent14 -> int4: the tasset is not a flatmate.;
the fact that the tasset does not muff Brattleboro and it is not a flatmate does not hold.
sent10 -> int5: if the cookie is Neanderthal then it is not pyrogallic and it is not a cephalothin.; sent2 & sent7 -> int6: the cookie is Neanderthal.; int5 & int6 -> int7: the cookie is not pyrogallic and it is not a cephalothin.; int7 -> int8: the fact that the cookie is not a kind of a cephalothin is not incorrect.; int8 -> int9: something is not a cephalothin.; int9 & sent5 -> int10: the lateen is not a cosmopolitan.; int10 -> int11: something is not cosmopolitan.;
$hypothesis$ = the tasset does not muff Brattleboro and it is not a flatmate. ; $context$ = sent1: if the cookie is not a development or lesser or both the fact that the tasset does not muff Brattleboro is true. sent2: the cookie is Neanderthal if it is not lesser and/or it is a development. sent3: the off-roader does not sound iproclozide and is not a leotard. sent4: the tasset is a kind of a Salvador but it is not a kind of a trunk. sent5: if there is something such that it is not a cephalothin then that the lateen is non-cosmopolitan is not wrong. sent6: the cookie is not pyrogallic. sent7: the cookie is not lesser or it is a development or both. sent8: if the pothook is not cosmopolitan then the lateen either is not a cephalothin or is not pyrogallic or both. sent9: the tasset is not a flatmate if it is a kind of a Salvador that is not calorimetric. sent10: something is not pyrogallic and not a cephalothin if it is Neanderthal. sent11: the cookie is not a kind of a development if the lateen is Neanderthal. sent12: that the off-roader is insurrectional is not wrong. sent13: if the off-roader is not a leotard then the fact that the lateen is a leotard and it is a cephalothin is wrong. sent14: the tasset is a Salvador and is not calorimetric. sent15: that the unit is a cephalothin and it is a disparity is incorrect. sent16: the off-roader is not a kind of a barb. sent17: if the off-roader sounds iproclozide that the tasset does not muff Brattleboro and it is not a kind of a flatmate does not hold. sent18: if the fact that something does sound iproclozide and is a kind of a barb does not hold that it is not a kind of a cosmopolitan is not incorrect. sent19: if something is not a barb it does muff Brattleboro. sent20: the tasset does barb or is not a kind of a flatmate or both if the pothook is not a leotard. sent21: if either something is not a cephalothin or it is not pyrogallic or both then it is Neanderthal. sent22: something is not lesser if it is not a kind of a development. ; $proof$ = 
sent3 -> int1: the off-roader does not sound iproclozide.; sent18 -> int2: if the fact that the pothook sounds iproclozide and it is a barb is not right then it is not a cosmopolitan.; sent21 -> int3: the lateen is Neanderthal if it is either not a cephalothin or not pyrogallic or both.; sent9 & sent14 -> int4: the tasset is not a flatmate.; __UNKNOWN__