that there is something such that it is not a pahoehoe is not right.
sent1: there is something such that it is a pahoehoe. sent2: something is an ear and a crack. sent3: the Milanese is an ear. sent4: the Milanese is not a pahoehoe if something is a nonconformist but it is not a kind of a crack. sent5: if the Milanese is not an ear then it is not a pahoehoe. sent6: if the funnel is not ergotropic it is not a kind of a crack. sent7: the carrion is both not a lamb and not nonconformist. sent8: the Milanese is not a kind of a nonconformist if there is something such that it is an ear and it is not a kind of a crack. sent9: if that the Milanese is a kind of an ear that is not a crack is not right it is not a pahoehoe. sent10: if the funnel does not crack then that the Milanese is not a pahoehoe and is a crack is wrong. sent11: the carrion is not a nonconformist. sent12: the fact that something is an ear is correct. sent13: if the Capricorn is not a kind of a nonconformist that the carrion does lamb and is not non-arundinaceous is wrong. sent14: the fact that the carrion does not lamb and is nonconformist is false if the funnel is not a kind of a nonconformist. sent15: there exists something such that it is nonconformist and it is a kind of a pahoehoe. sent16: the carrion is preventable. sent17: the fact that the carrion does not lamb but it is a nonconformist does not hold. sent18: the funnel is not nonconformist if an ear is not a crack. sent19: the carrion is an ear. sent20: the fact that the carrion is not a lamb and it is not a nonconformist is incorrect if the funnel is not a kind of a nonconformist.
void -> assump1: Let's assume that the Milanese is an ear but it is not a kind of a crack.; assump1 -> int1: something is an ear but it does not crack.; int1 & sent18 -> int2: the funnel is not a nonconformist.; int2 & sent20 -> int3: that the carrion is not a lamb and not nonconformist does not hold.; int3 & sent7 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the Milanese is an ear but it is not a kind of a crack does not hold.; int5 & sent9 -> int6: the Milanese is not a kind of a pahoehoe.; int6 -> hypothesis;
something is not arundinaceous.
$hypothesis$ = that there is something such that it is not a pahoehoe is not right. ; $context$ = sent1: there is something such that it is a pahoehoe. sent2: something is an ear and a crack. sent3: the Milanese is an ear. sent4: the Milanese is not a pahoehoe if something is a nonconformist but it is not a kind of a crack. sent5: if the Milanese is not an ear then it is not a pahoehoe. sent6: if the funnel is not ergotropic it is not a kind of a crack. sent7: the carrion is both not a lamb and not nonconformist. sent8: the Milanese is not a kind of a nonconformist if there is something such that it is an ear and it is not a kind of a crack. sent9: if that the Milanese is a kind of an ear that is not a crack is not right it is not a pahoehoe. sent10: if the funnel does not crack then that the Milanese is not a pahoehoe and is a crack is wrong. sent11: the carrion is not a nonconformist. sent12: the fact that something is an ear is correct. sent13: if the Capricorn is not a kind of a nonconformist that the carrion does lamb and is not non-arundinaceous is wrong. sent14: the fact that the carrion does not lamb and is nonconformist is false if the funnel is not a kind of a nonconformist. sent15: there exists something such that it is nonconformist and it is a kind of a pahoehoe. sent16: the carrion is preventable. sent17: the fact that the carrion does not lamb but it is a nonconformist does not hold. sent18: the funnel is not nonconformist if an ear is not a crack. sent19: the carrion is an ear. sent20: the fact that the carrion is not a lamb and it is not a nonconformist is incorrect if the funnel is not a kind of a nonconformist. ; $proof$ = 
void -> assump1: Let's assume that the Milanese is an ear but it is not a kind of a crack.; assump1 -> int1: something is an ear but it does not crack.; int1 & sent18 -> int2: the funnel is not a nonconformist.; int2 & sent20 -> int3: that the carrion is not a lamb and not nonconformist does not hold.; int3 & sent7 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the Milanese is an ear but it is not a kind of a crack does not hold.; int5 & sent9 -> int6: the Milanese is not a kind of a pahoehoe.; int6 -> hypothesis; __DISPROVED__