the fact that the fact that the casket is not butyric and it is not Yeatsian does not hold is right.
sent1: the casket is upland and it is a hulking. sent2: that the casket is not non-butyric and not Yeatsian is incorrect if it is not a wharfage. sent3: the Page is butyric but it is not a bowsprit. sent4: the fact that the casket is butyric thing that is not Yeatsian is not right. sent5: the fact that the casket is not butyric and is Yeatsian does not hold. sent6: a allotropic thing that is not a kind of a Saracen is not seismological. sent7: the casket is not fathomable if it is a kind of a wharfage. sent8: if something does not stroke Page then that it is not trapezoidal and it does not pattern bibliography is incorrect. sent9: that everything singles nightlife and it strokes Laudo is not incorrect. sent10: something that is a tool that is a bowsprit is not a foldout. sent11: if the Page is a kind of a tool and it is a bowsprit it is not a foldout. sent12: the Page is not a bowsprit. sent13: that something is not butyric and is not Yeatsian does not hold if it is not a wharfage. sent14: if the casket is not a wharfage the fact that it is both non-butyric and Yeatsian is not true. sent15: the Page is not a bowsprit if the casket is not fathomable. sent16: everything is both a primate and a foldout. sent17: if the gelatin is a bowsprit the Page is fathomable. sent18: the Page is a primate. sent19: the fact that something is not butyric but Yeatsian is not true if it is not a wharfage. sent20: the Mullah is a wharfage. sent21: that something is butyric but it is not Yeatsian is not correct if it is not a kind of a wharfage. sent22: something is not a kind of a foldout if it is a kind of a tool and it is not a bowsprit. sent23: everything is a kind of a primate. sent24: the Page is not a wharfage if it is a foldout and it is not butyric.
void -> assump1: Let's assume that the casket is a wharfage.; sent7 & assump1 -> int1: the casket is not fathomable.; sent22 -> int2: the Page is not a foldout if it is a tool and is not a bowsprit.; sent16 -> int3: the Page is a primate and is a foldout.; int3 -> int4: the Page is a foldout.; sent13 -> int5: if the casket is not a wharfage then the fact that it is not butyric and not Yeatsian is not true.;
the casket is non-butyric thing that is not Yeatsian.
$hypothesis$ = the fact that the fact that the casket is not butyric and it is not Yeatsian does not hold is right. ; $context$ = sent1: the casket is upland and it is a hulking. sent2: that the casket is not non-butyric and not Yeatsian is incorrect if it is not a wharfage. sent3: the Page is butyric but it is not a bowsprit. sent4: the fact that the casket is butyric thing that is not Yeatsian is not right. sent5: the fact that the casket is not butyric and is Yeatsian does not hold. sent6: a allotropic thing that is not a kind of a Saracen is not seismological. sent7: the casket is not fathomable if it is a kind of a wharfage. sent8: if something does not stroke Page then that it is not trapezoidal and it does not pattern bibliography is incorrect. sent9: that everything singles nightlife and it strokes Laudo is not incorrect. sent10: something that is a tool that is a bowsprit is not a foldout. sent11: if the Page is a kind of a tool and it is a bowsprit it is not a foldout. sent12: the Page is not a bowsprit. sent13: that something is not butyric and is not Yeatsian does not hold if it is not a wharfage. sent14: if the casket is not a wharfage the fact that it is both non-butyric and Yeatsian is not true. sent15: the Page is not a bowsprit if the casket is not fathomable. sent16: everything is both a primate and a foldout. sent17: if the gelatin is a bowsprit the Page is fathomable. sent18: the Page is a primate. sent19: the fact that something is not butyric but Yeatsian is not true if it is not a wharfage. sent20: the Mullah is a wharfage. sent21: that something is butyric but it is not Yeatsian is not correct if it is not a kind of a wharfage. sent22: something is not a kind of a foldout if it is a kind of a tool and it is not a bowsprit. sent23: everything is a kind of a primate. sent24: the Page is not a wharfage if it is a foldout and it is not butyric. ; $proof$ = 
void -> assump1: Let's assume that the casket is a wharfage.; sent7 & assump1 -> int1: the casket is not fathomable.; sent22 -> int2: the Page is not a foldout if it is a tool and is not a bowsprit.; sent16 -> int3: the Page is a primate and is a foldout.; int3 -> int4: the Page is a foldout.; sent13 -> int5: if the casket is not a wharfage then the fact that it is not butyric and not Yeatsian is not true.; __UNKNOWN__