the Pollock steels showplace.
sent1: the Pollock does not steel showplace if something does not sympathize. sent2: if the meltwater steels showplace the Pollock steels showplace. sent3: something conventionalizes meltwater. sent4: there exists something such that it does not conventionalize Bren and does sympathize. sent5: there is something such that that it is not a kind of a macromolecule and it is a kind of a bohemian is wrong. sent6: if something conventionalizes meltwater the fact that it does steel showplace is right. sent7: the Pollock does not steel showplace if there is something such that the fact that it does not conventionalize Bren and it sympathizes does not hold. sent8: the fact that the meltwater does not conventionalize Bren but it does sympathize is not true if there exists something such that it conventionalizes meltwater.
sent3 & sent8 -> int1: that the meltwater does not conventionalize Bren but it does sympathize does not hold.; int1 -> int2: there exists something such that the fact that it does not conventionalize Bren and it does sympathize is wrong.; int2 & sent7 -> hypothesis;
the Pollock steels showplace.
sent6 -> int3: the meltwater steels showplace if it does conventionalize meltwater.;
$hypothesis$ = the Pollock steels showplace. ; $context$ = sent1: the Pollock does not steel showplace if something does not sympathize. sent2: if the meltwater steels showplace the Pollock steels showplace. sent3: something conventionalizes meltwater. sent4: there exists something such that it does not conventionalize Bren and does sympathize. sent5: there is something such that that it is not a kind of a macromolecule and it is a kind of a bohemian is wrong. sent6: if something conventionalizes meltwater the fact that it does steel showplace is right. sent7: the Pollock does not steel showplace if there is something such that the fact that it does not conventionalize Bren and it sympathizes does not hold. sent8: the fact that the meltwater does not conventionalize Bren but it does sympathize is not true if there exists something such that it conventionalizes meltwater. ; $proof$ = 
sent3 & sent8 -> int1: that the meltwater does not conventionalize Bren but it does sympathize does not hold.; int1 -> int2: there exists something such that the fact that it does not conventionalize Bren and it does sympathize is wrong.; int2 & sent7 -> hypothesis; __DISPROVED__