the hawkbit is a conditioner.
sent1: if the celeriac is a kind of an oblate then the weeds does not clean VA. sent2: the mum is Aramean if it is unambitious. sent3: if the vessel is non-unambitious thing that is Aramean then the fact that the hawkbit is Aramean is not false. sent4: something that is a Aramean or cleans Agene or both is not a conditioner. sent5: the mum does clean vessel. sent6: the fact that the mum is a Aramean is true. sent7: there exists something such that it is a kind of a Microstomus or it is not a kind of a bootleg or both. sent8: the mum does bootleg. sent9: if the Agene cleans VA it does clean Agene. sent10: the hawkbit is a blamelessness if the weeds cleans VA. sent11: that the mum is unambitious but it does not exempt greenbelt is not correct if the fact that the Agene exempt greenbelt hold. sent12: the fact that the mum is unambitious thing that does exempt greenbelt does not hold. sent13: the hawkbit does exempt endarterectomy. sent14: if the weeds is a kind of a lupine then it is a blamelessness. sent15: the Agene exempts greenbelt if it cleans Agene. sent16: if that the mum is unambitious and does not exempt greenbelt does not hold the weeds cleans VA. sent17: the vessel is a Aramean if there exists something such that it is a Microstomus and/or is not a bootleg. sent18: the fact that the mum does exempt greenbelt and it is a blamelessness is incorrect if the weeds does not clean VA. sent19: the vessel cleans VA. sent20: if the mum does exempt greenbelt then the weeds cleans VA. sent21: the hawkbit is a conditioner if it is a blamelessness. sent22: if there exists something such that it is a Microstomus the vessel is a Aramean. sent23: the Liege cleans Agene. sent24: there is something such that it is a Aramean and/or it does not exempt greenbelt.
sent7 & sent17 -> int1: the vessel is Aramean.;
the hawkbit is not a conditioner.
sent4 -> int2: if the hawkbit is a kind of a Aramean or it cleans Agene or both then it is not a conditioner.;
$hypothesis$ = the hawkbit is a conditioner. ; $context$ = sent1: if the celeriac is a kind of an oblate then the weeds does not clean VA. sent2: the mum is Aramean if it is unambitious. sent3: if the vessel is non-unambitious thing that is Aramean then the fact that the hawkbit is Aramean is not false. sent4: something that is a Aramean or cleans Agene or both is not a conditioner. sent5: the mum does clean vessel. sent6: the fact that the mum is a Aramean is true. sent7: there exists something such that it is a kind of a Microstomus or it is not a kind of a bootleg or both. sent8: the mum does bootleg. sent9: if the Agene cleans VA it does clean Agene. sent10: the hawkbit is a blamelessness if the weeds cleans VA. sent11: that the mum is unambitious but it does not exempt greenbelt is not correct if the fact that the Agene exempt greenbelt hold. sent12: the fact that the mum is unambitious thing that does exempt greenbelt does not hold. sent13: the hawkbit does exempt endarterectomy. sent14: if the weeds is a kind of a lupine then it is a blamelessness. sent15: the Agene exempts greenbelt if it cleans Agene. sent16: if that the mum is unambitious and does not exempt greenbelt does not hold the weeds cleans VA. sent17: the vessel is a Aramean if there exists something such that it is a Microstomus and/or is not a bootleg. sent18: the fact that the mum does exempt greenbelt and it is a blamelessness is incorrect if the weeds does not clean VA. sent19: the vessel cleans VA. sent20: if the mum does exempt greenbelt then the weeds cleans VA. sent21: the hawkbit is a conditioner if it is a blamelessness. sent22: if there exists something such that it is a Microstomus the vessel is a Aramean. sent23: the Liege cleans Agene. sent24: there is something such that it is a Aramean and/or it does not exempt greenbelt. ; $proof$ = 
sent7 & sent17 -> int1: the vessel is Aramean.; __UNKNOWN__