the pyrethrum is aplitic.
sent1: the pyrethrum does impinge renter and it is a cuff if there is something such that it is not a kind of a throb. sent2: the pyrethrum is a throb and phonic if that something does not blacklist Romaic is true. sent3: the pyrethrum is a Mandaean. sent4: the fact that the rush is not a cuff and it is not a mew is not correct. sent5: the rush is a kind of a throb but it is not phonic if the student is not inaesthetic. sent6: the fact that the rush is a kind of a throb hold. sent7: the renter impinges renter. sent8: something that blacklists Romaic is aplitic. sent9: the pyrethrum is aplitic if there is something such that it is not a kind of a throb. sent10: there is something such that it is indissoluble. sent11: the pyrethrum blacklists Romaic and is a kind of a throb if something is not a Mandaean. sent12: if the rush is a kind of a Mandaean the fact that it does not impinge renter and is not a cuff is false. sent13: the pyrethrum is not a kind of a take. sent14: that the lane is not a cuff and it is not unseamanlike is false. sent15: the Brazil is aplitic. sent16: if there exists something such that it is not a throb the pyrethrum does cuff and it impinges renter. sent17: the fact that the rush does not impinge renter but it is aplitic is wrong. sent18: the rush is phonic.
void -> assump1: Let's assume that the rush is Mandaean.; sent12 & assump1 -> int1: the fact that the rush does not impinge renter and it is not a cuff does not hold.; sent8 -> int2: the pyrethrum is aplitic if it blacklists Romaic.;
the pyrethrum is not aplitic.
$hypothesis$ = the pyrethrum is aplitic. ; $context$ = sent1: the pyrethrum does impinge renter and it is a cuff if there is something such that it is not a kind of a throb. sent2: the pyrethrum is a throb and phonic if that something does not blacklist Romaic is true. sent3: the pyrethrum is a Mandaean. sent4: the fact that the rush is not a cuff and it is not a mew is not correct. sent5: the rush is a kind of a throb but it is not phonic if the student is not inaesthetic. sent6: the fact that the rush is a kind of a throb hold. sent7: the renter impinges renter. sent8: something that blacklists Romaic is aplitic. sent9: the pyrethrum is aplitic if there is something such that it is not a kind of a throb. sent10: there is something such that it is indissoluble. sent11: the pyrethrum blacklists Romaic and is a kind of a throb if something is not a Mandaean. sent12: if the rush is a kind of a Mandaean the fact that it does not impinge renter and is not a cuff is false. sent13: the pyrethrum is not a kind of a take. sent14: that the lane is not a cuff and it is not unseamanlike is false. sent15: the Brazil is aplitic. sent16: if there exists something such that it is not a throb the pyrethrum does cuff and it impinges renter. sent17: the fact that the rush does not impinge renter but it is aplitic is wrong. sent18: the rush is phonic. ; $proof$ = 
void -> assump1: Let's assume that the rush is Mandaean.; sent12 & assump1 -> int1: the fact that the rush does not impinge renter and it is not a cuff does not hold.; sent8 -> int2: the pyrethrum is aplitic if it blacklists Romaic.; __UNKNOWN__