that the cassava is not plus is not wrong.
sent1: the cassava is not plus if the conifer is sectional. sent2: the nonagenarian is both a Oceanid and smooth. sent3: if a nonreflective thing is not a kind of a Oceanid then the investigator is a smooth. sent4: if the investigator is a smooth then the conifer is a kind of a sectional. sent5: something is a kind of a senna if it is reflective. sent6: if the fact that the apron does not reopen time-out and it is not plus is not correct then the cassava is plus. sent7: the pickpocket is not a Oceanid. sent8: the pickpocket is a sectional and it is a Mozambican if it does not bed. sent9: the apron is a dinginess if a non-custard-like thing does auspicate. sent10: there is something such that it does not reopen time-out. sent11: if something is Calcuttan and it is a cataleptic then the pickpocket does not bed. sent12: the fact that something does not reopen time-out and it is not plus is not right if the fact that it is not a dinginess hold. sent13: if the nonagenarian is both a Oceanid and smooth then the apron is not a kind of a Oceanid. sent14: the covert does not reopen time-out. sent15: if the covert is a senna but it does not reopen time-out the pickpocket is not reflective. sent16: something is a kind of non-custard-like thing that does auspicate. sent17: if there is something such that that it does smooth and it is not a Oceanid is wrong then the covert is a kind of a Oceanid. sent18: there are Calcuttan and cataleptic things. sent19: that the pickpocket is not a dinginess hold if the apron is reflective. sent20: if the apron is a dinginess then the nonagenarian does not reopen time-out. sent21: the fact that something is a kind of a smooth but it is not a Oceanid does not hold if it is sectional. sent22: if there is something such that it is a senna then the pleurothallis reopens time-out and it is a dinginess. sent23: something is not megakaryocytic and is not a ilium if it is a kind of a dinginess. sent24: if the covert is a kind of a Oceanid then the nonagenarian is reflective.
sent16 & sent9 -> int1: the apron is a dinginess.; int1 & sent20 -> int2: the nonagenarian does not reopen time-out.;
the cassava is not non-plus.
sent12 -> int3: that the apron does not reopen time-out and it is not plus is not correct if it is not a dinginess.; sent5 -> int4: if the nonagenarian is reflective then it is a senna.; sent21 -> int5: the fact that the pickpocket is a kind of a smooth and is not a Oceanid is wrong if it is a sectional.; sent18 & sent11 -> int6: the pickpocket is not a bedding.; sent8 & int6 -> int7: the pickpocket is a sectional and is a Mozambican.; int7 -> int8: the pickpocket is sectional.; int5 & int8 -> int9: the fact that the pickpocket is a smooth but it is not a Oceanid is false.; int9 -> int10: there exists something such that that it is both a smooth and not a Oceanid is not right.; int10 & sent17 -> int11: the covert is a kind of a Oceanid.; sent24 & int11 -> int12: the nonagenarian is reflective.; int4 & int12 -> int13: the nonagenarian is a senna.; int13 -> int14: there exists something such that it is a kind of a senna.;
$hypothesis$ = that the cassava is not plus is not wrong. ; $context$ = sent1: the cassava is not plus if the conifer is sectional. sent2: the nonagenarian is both a Oceanid and smooth. sent3: if a nonreflective thing is not a kind of a Oceanid then the investigator is a smooth. sent4: if the investigator is a smooth then the conifer is a kind of a sectional. sent5: something is a kind of a senna if it is reflective. sent6: if the fact that the apron does not reopen time-out and it is not plus is not correct then the cassava is plus. sent7: the pickpocket is not a Oceanid. sent8: the pickpocket is a sectional and it is a Mozambican if it does not bed. sent9: the apron is a dinginess if a non-custard-like thing does auspicate. sent10: there is something such that it does not reopen time-out. sent11: if something is Calcuttan and it is a cataleptic then the pickpocket does not bed. sent12: the fact that something does not reopen time-out and it is not plus is not right if the fact that it is not a dinginess hold. sent13: if the nonagenarian is both a Oceanid and smooth then the apron is not a kind of a Oceanid. sent14: the covert does not reopen time-out. sent15: if the covert is a senna but it does not reopen time-out the pickpocket is not reflective. sent16: something is a kind of non-custard-like thing that does auspicate. sent17: if there is something such that that it does smooth and it is not a Oceanid is wrong then the covert is a kind of a Oceanid. sent18: there are Calcuttan and cataleptic things. sent19: that the pickpocket is not a dinginess hold if the apron is reflective. sent20: if the apron is a dinginess then the nonagenarian does not reopen time-out. sent21: the fact that something is a kind of a smooth but it is not a Oceanid does not hold if it is sectional. sent22: if there is something such that it is a senna then the pleurothallis reopens time-out and it is a dinginess. sent23: something is not megakaryocytic and is not a ilium if it is a kind of a dinginess. sent24: if the covert is a kind of a Oceanid then the nonagenarian is reflective. ; $proof$ = 
sent16 & sent9 -> int1: the apron is a dinginess.; int1 & sent20 -> int2: the nonagenarian does not reopen time-out.; __UNKNOWN__