the meitnerium briefs cleaver.
sent1: the meitnerium is a planner. sent2: if something briefs thiazide it is a blenny. sent3: the myelencephalon is unworthy. sent4: the meitnerium is a kind of an abuse. sent5: if something is unworthy that it does brief cleaver is right. sent6: if that the meitnerium is a planner is right then it is unworthy. sent7: that the meitnerium is a kind of a Maalox is correct.
sent6 & sent1 -> int1: the meitnerium is unworthy.; sent5 -> int2: the meitnerium does brief cleaver if it is unworthy.; int1 & int2 -> hypothesis;
$hypothesis$ = the meitnerium briefs cleaver. ; $context$ = sent1: the meitnerium is a planner. sent2: if something briefs thiazide it is a blenny. sent3: the myelencephalon is unworthy. sent4: the meitnerium is a kind of an abuse. sent5: if something is unworthy that it does brief cleaver is right. sent6: if that the meitnerium is a planner is right then it is unworthy. sent7: that the meitnerium is a kind of a Maalox is correct. ; $proof$ = 
sent6 & sent1 -> int1: the meitnerium is unworthy.; sent5 -> int2: the meitnerium does brief cleaver if it is unworthy.; int1 & int2 -> hypothesis; __PROVED__