the paperhanger is not custard-like and it does not recuse.
sent1: if the cerussite is not microbial then the poisoner does not overawe reverse. sent2: there is something such that it is Yugoslavian. sent3: the rain-wash is not a kind of a first-nighter and/or is not Goethean if the Bolshevik is atheist. sent4: if there exists something such that it is Yugoslavian then the Bolshevik is a Patwin and it is a Albion. sent5: if the paperhanger overawes reverse then it does not recuse. sent6: that the paperhanger is a kind of a AFL-CIO that does overawe reverse is wrong. sent7: the paperhanger does not recuse if that it is a kind of a AFL-CIO that does not overawe reverse is false. sent8: if the fact that the rain-wash is not a first-nighter is not false then the fact that the cerussite is not microbial is not wrong. sent9: if something does not overawe poisoner but it is azimuthal then the paperhanger is not custard-like. sent10: if the fact that something does not recuse and it is not a AFL-CIO is not correct then it recuse. sent11: there exists something such that it does not overawe poisoner and is azimuthal. sent12: that the paperhanger is a AFL-CIO and does not overawe reverse does not hold. sent13: something does not overawe poisoner. sent14: the fact that something does not recuse and it is not a AFL-CIO does not hold if it does not overawe reverse. sent15: something is atheist if that it is a Patwin hold. sent16: the paperhanger is not custard-like if something that does overawe poisoner is azimuthal.
sent11 & sent9 -> int1: the paperhanger is not custard-like.; sent7 & sent12 -> int2: the paperhanger does not recuse.; int1 & int2 -> hypothesis;
that the paperhanger is not custard-like and does not recuse is wrong.
sent10 -> int3: the poisoner recuses if the fact that it does not recuses and is not a AFL-CIO does not hold.; sent14 -> int4: that the poisoner does not recuse and is not a AFL-CIO is incorrect if that it does not overawe reverse hold.; sent15 -> int5: the Bolshevik is an atheist if it is a Patwin.; sent2 & sent4 -> int6: the Bolshevik is a Patwin that is a Albion.; int6 -> int7: the Bolshevik is a kind of a Patwin.; int5 & int7 -> int8: the Bolshevik is atheist.; sent3 & int8 -> int9: the rain-wash is not a kind of a first-nighter and/or it is not Goethean.;
$hypothesis$ = the paperhanger is not custard-like and it does not recuse. ; $context$ = sent1: if the cerussite is not microbial then the poisoner does not overawe reverse. sent2: there is something such that it is Yugoslavian. sent3: the rain-wash is not a kind of a first-nighter and/or is not Goethean if the Bolshevik is atheist. sent4: if there exists something such that it is Yugoslavian then the Bolshevik is a Patwin and it is a Albion. sent5: if the paperhanger overawes reverse then it does not recuse. sent6: that the paperhanger is a kind of a AFL-CIO that does overawe reverse is wrong. sent7: the paperhanger does not recuse if that it is a kind of a AFL-CIO that does not overawe reverse is false. sent8: if the fact that the rain-wash is not a first-nighter is not false then the fact that the cerussite is not microbial is not wrong. sent9: if something does not overawe poisoner but it is azimuthal then the paperhanger is not custard-like. sent10: if the fact that something does not recuse and it is not a AFL-CIO is not correct then it recuse. sent11: there exists something such that it does not overawe poisoner and is azimuthal. sent12: that the paperhanger is a AFL-CIO and does not overawe reverse does not hold. sent13: something does not overawe poisoner. sent14: the fact that something does not recuse and it is not a AFL-CIO does not hold if it does not overawe reverse. sent15: something is atheist if that it is a Patwin hold. sent16: the paperhanger is not custard-like if something that does overawe poisoner is azimuthal. ; $proof$ = 
sent11 & sent9 -> int1: the paperhanger is not custard-like.; sent7 & sent12 -> int2: the paperhanger does not recuse.; int1 & int2 -> hypothesis; __PROVED__