the hornwort is a hurl.
sent1: the hornwort is not a kind of a peduncle if it is a tuff and is a kind of a hurl. sent2: if that the alendronate is a peduncle is right that the angostura is a kind of a tuff hold. sent3: if there is something such that it is a desire and/or it does not masquerade the alendronate does not outstare hornwort. sent4: if something masquerades then it is a peduncle. sent5: that something does not outstare hornwort and it is not a kind of a desire is incorrect if that it is not tearless is false. sent6: the hornwort is tearless if it is not mensural. sent7: if the alendronate is a hurl the hornwort is not a hurl. sent8: the alendronate masquerades if there exists something such that the fact that it does not outstare hornwort and it is not a desire is not right. sent9: the angostura is not a kind of a tuff. sent10: something does desire and/or it is not a masquerade if it is not a kind of a peduncle.
void -> assump1: Let's assume that the hornwort is not mensural.; sent6 & assump1 -> int1: the hornwort is tearless.; sent5 -> int2: that the hornwort does not outstare hornwort and it is not a kind of a desire is not right if it is tearless.; int1 & int2 -> int3: the fact that the hornwort does not outstare hornwort and is not a desire does not hold.; int3 -> int4: there exists something such that the fact that the fact that it does not outstare hornwort and it does not desire hold is incorrect.; int4 & sent8 -> int5: the alendronate is a kind of a masquerade.; sent4 -> int6: if the alendronate masquerades then it is a peduncle.; int5 & int6 -> int7: the alendronate is a peduncle.; int7 & sent2 -> int8: the angostura is a kind of a tuff.; int8 & sent9 -> int9: this is contradiction.; [assump1] & int9 -> int10: the hornwort is mensural.;
the hornwort is not a hurl.
$hypothesis$ = the hornwort is a hurl. ; $context$ = sent1: the hornwort is not a kind of a peduncle if it is a tuff and is a kind of a hurl. sent2: if that the alendronate is a peduncle is right that the angostura is a kind of a tuff hold. sent3: if there is something such that it is a desire and/or it does not masquerade the alendronate does not outstare hornwort. sent4: if something masquerades then it is a peduncle. sent5: that something does not outstare hornwort and it is not a kind of a desire is incorrect if that it is not tearless is false. sent6: the hornwort is tearless if it is not mensural. sent7: if the alendronate is a hurl the hornwort is not a hurl. sent8: the alendronate masquerades if there exists something such that the fact that it does not outstare hornwort and it is not a desire is not right. sent9: the angostura is not a kind of a tuff. sent10: something does desire and/or it is not a masquerade if it is not a kind of a peduncle. ; $proof$ = 
void -> assump1: Let's assume that the hornwort is not mensural.; sent6 & assump1 -> int1: the hornwort is tearless.; sent5 -> int2: that the hornwort does not outstare hornwort and it is not a kind of a desire is not right if it is tearless.; int1 & int2 -> int3: the fact that the hornwort does not outstare hornwort and is not a desire does not hold.; int3 -> int4: there exists something such that the fact that the fact that it does not outstare hornwort and it does not desire hold is incorrect.; int4 & sent8 -> int5: the alendronate is a kind of a masquerade.; sent4 -> int6: if the alendronate masquerades then it is a peduncle.; int5 & int6 -> int7: the alendronate is a peduncle.; int7 & sent2 -> int8: the angostura is a kind of a tuff.; int8 & sent9 -> int9: this is contradiction.; [assump1] & int9 -> int10: the hornwort is mensural.; __UNKNOWN__