the fact that that the tenderizer is unchristian and is not far hold is not right.
sent1: if something is ametabolic it does wrestle barreled and it is not a kind of a Hittite. sent2: the wog is managerial. sent3: the sock is a Hittite. sent4: if that the wog is both not a tub and not a epicanthus is not correct then that it is a tub is not incorrect. sent5: if something wrestles barreled then the fact that the tenderizer is not christian but it is not far does not hold. sent6: if there exists something such that it is a Hittite then the fact that the imperial is unchristian but it does not wrestle barreled does not hold. sent7: if something does wrestle barreled but it is not a Hittite then it is managerial. sent8: that the wog is not a tub and it is not a epicanthus does not hold. sent9: the legatee is a kind of a Hittite if the wog is managerial. sent10: if the legatee is not far then the fact that the wog is a kind of a Hittite but it does not wrestle barreled is not right. sent11: something is unchristian but it is not far if it is managerial. sent12: if something is a tendon but not African it is ametabolic.
sent9 & sent2 -> int1: the legatee is a Hittite.;
the tenderizer is not christian and is not far.
sent11 -> int2: the tenderizer is unchristian and is not far if it is managerial.; sent7 -> int3: that the tenderizer is managerial is not incorrect if it does wrestle barreled and is not a kind of a Hittite.; sent1 -> int4: if the fact that that the tenderizer is not ametabolic is not correct hold then it wrestles barreled and is not a kind of a Hittite.; sent12 -> int5: if the tenderizer is a tendon and is not a African then it is ametabolic.; sent4 & sent8 -> int6: the wog is a kind of a tub.; int6 -> int7: there is something such that it is a tub.;
$hypothesis$ = the fact that that the tenderizer is unchristian and is not far hold is not right. ; $context$ = sent1: if something is ametabolic it does wrestle barreled and it is not a kind of a Hittite. sent2: the wog is managerial. sent3: the sock is a Hittite. sent4: if that the wog is both not a tub and not a epicanthus is not correct then that it is a tub is not incorrect. sent5: if something wrestles barreled then the fact that the tenderizer is not christian but it is not far does not hold. sent6: if there exists something such that it is a Hittite then the fact that the imperial is unchristian but it does not wrestle barreled does not hold. sent7: if something does wrestle barreled but it is not a Hittite then it is managerial. sent8: that the wog is not a tub and it is not a epicanthus does not hold. sent9: the legatee is a kind of a Hittite if the wog is managerial. sent10: if the legatee is not far then the fact that the wog is a kind of a Hittite but it does not wrestle barreled is not right. sent11: something is unchristian but it is not far if it is managerial. sent12: if something is a tendon but not African it is ametabolic. ; $proof$ = 
sent9 & sent2 -> int1: the legatee is a Hittite.; __UNKNOWN__