the friction does stint Sistrurus.
sent1: that the registrar does not grumble Ailurus and is not latter does not hold. sent2: the nostrum stints Sistrurus if it is ebracteate. sent3: if the fact that something either is not a breve or does not work or both is not correct it is an analogue. sent4: if the parvovirus is a content the friction is a content. sent5: the fact that the somewhere does not underlie is correct if the roundsman is both a content and not matutinal. sent6: the somewhere contents if the friction is a contents. sent7: that the roundsman is both not a demonetization and not a Desmodium does not hold if that the somewhere is a content is not false. sent8: if the roundsman is a demonetization the registrar is matutinal. sent9: the roundsman contents if there is something such that it is a kind of a demonetization. sent10: something that is not a ballplayer is a kind of pectoral thing that is ebracteate. sent11: the nostrum is not a ballplayer. sent12: the registrar is not a Desmodium if that it does not grumble Ailurus and is not a kind of a latter is not true. sent13: if the nostrum is not a kind of an analogue and it is not a kind of a breve the hosier is not a kind of a work. sent14: the roundsman is not matutinal. sent15: the parvovirus either underlies or does content or both if something is not a kind of a work. sent16: if something is not a Desmodium it is a demonetization. sent17: if something is an analogue then it stints Sistrurus. sent18: the friction is a content if the parvovirus does underlie.
sent12 & sent1 -> int1: the registrar is not a Desmodium.; sent16 -> int2: the registrar is a kind of a demonetization if the fact that it is not a kind of a Desmodium hold.; int1 & int2 -> int3: that the registrar is a demonetization is not wrong.; int3 -> int4: there exists something such that it is a kind of a demonetization.; int4 & sent9 -> int5: the roundsman is a content.; int5 & sent14 -> int6: the roundsman is a content but it is not matutinal.; int6 & sent5 -> int7: the fact that the somewhere does not underlie is not false.; sent3 -> int8: if that the friction either is not a breve or does not work or both is not right it is analogue.; sent17 -> int9: if the friction is an analogue then it does stint Sistrurus.;
the registrar is matutinal.
sent10 -> int10: if the fact that the nostrum is not a ballplayer is not incorrect it is pectoral thing that is ebracteate.; int10 & sent11 -> int11: the nostrum is a pectoral that is ebracteate.; int11 -> int12: the nostrum is not non-ebracteate.; sent2 & int12 -> int13: the nostrum stints Sistrurus.;
$hypothesis$ = the friction does stint Sistrurus. ; $context$ = sent1: that the registrar does not grumble Ailurus and is not latter does not hold. sent2: the nostrum stints Sistrurus if it is ebracteate. sent3: if the fact that something either is not a breve or does not work or both is not correct it is an analogue. sent4: if the parvovirus is a content the friction is a content. sent5: the fact that the somewhere does not underlie is correct if the roundsman is both a content and not matutinal. sent6: the somewhere contents if the friction is a contents. sent7: that the roundsman is both not a demonetization and not a Desmodium does not hold if that the somewhere is a content is not false. sent8: if the roundsman is a demonetization the registrar is matutinal. sent9: the roundsman contents if there is something such that it is a kind of a demonetization. sent10: something that is not a ballplayer is a kind of pectoral thing that is ebracteate. sent11: the nostrum is not a ballplayer. sent12: the registrar is not a Desmodium if that it does not grumble Ailurus and is not a kind of a latter is not true. sent13: if the nostrum is not a kind of an analogue and it is not a kind of a breve the hosier is not a kind of a work. sent14: the roundsman is not matutinal. sent15: the parvovirus either underlies or does content or both if something is not a kind of a work. sent16: if something is not a Desmodium it is a demonetization. sent17: if something is an analogue then it stints Sistrurus. sent18: the friction is a content if the parvovirus does underlie. ; $proof$ = 
sent12 & sent1 -> int1: the registrar is not a Desmodium.; sent16 -> int2: the registrar is a kind of a demonetization if the fact that it is not a kind of a Desmodium hold.; int1 & int2 -> int3: that the registrar is a demonetization is not wrong.; int3 -> int4: there exists something such that it is a kind of a demonetization.; int4 & sent9 -> int5: the roundsman is a content.; int5 & sent14 -> int6: the roundsman is a content but it is not matutinal.; int6 & sent5 -> int7: the fact that the somewhere does not underlie is not false.; sent3 -> int8: if that the friction either is not a breve or does not work or both is not right it is analogue.; sent17 -> int9: if the friction is an analogue then it does stint Sistrurus.; __UNKNOWN__