the hearer is a kind of a pounding.
sent1: that if something is a kind of a I-beam then it colors overanxiety is right. sent2: if something is a Mammon then it is a pounding. sent3: the hearer does color slicing. sent4: the hearer knells. sent5: that the blank does pray is not wrong. sent6: the hearer does not pray. sent7: the quarterback does not pray. sent8: something that is mythic is a skittishness. sent9: the Philistine does pound. sent10: something is a fold if it is not a kilogram-meter. sent11: the icepick does culture fancy if it is not wieldy. sent12: if the hearer is not a kind of a erg it does index semitrailer. sent13: the fact that the thesaurus does not green white hold if that the shell does color sporocarp is right. sent14: something is a Mammon if it does not pray. sent15: that the shell colors sporocarp or it does not color Linz or both is right.
sent14 -> int1: the hearer is a Mammon if it does not pray.; int1 & sent6 -> int2: the hearer is a Mammon.; sent2 -> int3: the hearer is a kind of a pounding if it is a Mammon.; int2 & int3 -> hypothesis;
the hearer does not pound.
$hypothesis$ = the hearer is a kind of a pounding. ; $context$ = sent1: that if something is a kind of a I-beam then it colors overanxiety is right. sent2: if something is a Mammon then it is a pounding. sent3: the hearer does color slicing. sent4: the hearer knells. sent5: that the blank does pray is not wrong. sent6: the hearer does not pray. sent7: the quarterback does not pray. sent8: something that is mythic is a skittishness. sent9: the Philistine does pound. sent10: something is a fold if it is not a kilogram-meter. sent11: the icepick does culture fancy if it is not wieldy. sent12: if the hearer is not a kind of a erg it does index semitrailer. sent13: the fact that the thesaurus does not green white hold if that the shell does color sporocarp is right. sent14: something is a Mammon if it does not pray. sent15: that the shell colors sporocarp or it does not color Linz or both is right. ; $proof$ = 
sent14 -> int1: the hearer is a Mammon if it does not pray.; int1 & sent6 -> int2: the hearer is a Mammon.; sent2 -> int3: the hearer is a kind of a pounding if it is a Mammon.; int2 & int3 -> hypothesis; __PROVED__