there is something such that if it is audiometric then it is not Lutheran.
sent1: there is something such that if it is a Hitler then it is not chalybeate. sent2: something that comforts cannibalism is not a Dimocarpus. sent3: if something is audiometric it is a Lutheran. sent4: the hobbledehoy is not a Lutheran if it is an affine. sent5: something does not sweeten draftee if it is a crossjack. sent6: that there exists something such that if it is an amble then it is not a kind of a Mandaeanism is true. sent7: there exists something such that if it is audiometric it is a Lutheran. sent8: the sociobiologist is not audiometric if it is ectomorphic. sent9: there is something such that if it is Genoese then it is not a corporatist. sent10: something that is audiometric is not a kind of a Lutheran. sent11: that the sociobiologist is a Lutheran hold if it is audiometric. sent12: the Yana is not a Lutheran if it is entozoic.
sent10 -> int1: the sociobiologist is not a Lutheran if it is audiometric.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is audiometric then it is not Lutheran. ; $context$ = sent1: there is something such that if it is a Hitler then it is not chalybeate. sent2: something that comforts cannibalism is not a Dimocarpus. sent3: if something is audiometric it is a Lutheran. sent4: the hobbledehoy is not a Lutheran if it is an affine. sent5: something does not sweeten draftee if it is a crossjack. sent6: that there exists something such that if it is an amble then it is not a kind of a Mandaeanism is true. sent7: there exists something such that if it is audiometric it is a Lutheran. sent8: the sociobiologist is not audiometric if it is ectomorphic. sent9: there is something such that if it is Genoese then it is not a corporatist. sent10: something that is audiometric is not a kind of a Lutheran. sent11: that the sociobiologist is a Lutheran hold if it is audiometric. sent12: the Yana is not a Lutheran if it is entozoic. ; $proof$ = 
sent10 -> int1: the sociobiologist is not a Lutheran if it is audiometric.; int1 -> hypothesis; __PROVED__