if the fact that the marlberry does capsule cunt is not incorrect then the humdinger does not capsule padre.
sent1: if the fact that the marlberry is not a shoebill and is a payday is wrong then the header is a ropewalk. sent2: there is something such that it is a kind of a ropewalk. sent3: the humdinger does not capsule padre if a ropewalk capsules cunt. sent4: that the marlberry is not a kind of a ropewalk is not true if the header is a kind of a shoebill. sent5: that the header is a shoebill and it is a payday is false. sent6: there exists something such that it is a kind of a shoebill. sent7: if a ropewalk capsules cunt the humdinger capsules padre. sent8: the marlberry does not capsule padre. sent9: that the header is not a shoebill and is a payday is wrong. sent10: the humdinger does capsule padre if the marlberry capsules cunt.
$hypothesis$ = if the fact that the marlberry does capsule cunt is not incorrect then the humdinger does not capsule padre. ; $context$ = sent1: if the fact that the marlberry is not a shoebill and is a payday is wrong then the header is a ropewalk. sent2: there is something such that it is a kind of a ropewalk. sent3: the humdinger does not capsule padre if a ropewalk capsules cunt. sent4: that the marlberry is not a kind of a ropewalk is not true if the header is a kind of a shoebill. sent5: that the header is a shoebill and it is a payday is false. sent6: there exists something such that it is a kind of a shoebill. sent7: if a ropewalk capsules cunt the humdinger capsules padre. sent8: the marlberry does not capsule padre. sent9: that the header is not a shoebill and is a payday is wrong. sent10: the humdinger does capsule padre if the marlberry capsules cunt. ; $proof$ = 
__UNKNOWN__