the medalist is a kind of non-weedy thing that does abrade.
sent1: the patron is weedy. sent2: the myocardium is non-anaphasic and bestirs brackishness. sent3: that the patron is a Ernst and/or it is not high-energy is not true. sent4: something does intend if it does not bestir brackishness and is not a businessman. sent5: there exists something such that it bestirs brackishness. sent6: if the snuffle is a deuce it does liquefy Bonasa. sent7: the masonry intends. sent8: the medalist is not weedy but it does abrade if there exists something such that it does not bestir brackishness. sent9: the medalist does abrade. sent10: if the masonry is a businessman that the snuffle intends is not incorrect. sent11: that the snuffle is a deuce is correct if it is preprandial. sent12: if the snuffle intends then the patron does not bestir brackishness. sent13: if something does not bestir brackishness the medalist does abrade. sent14: something is not a lodgepole if it does liquefy Bonasa. sent15: that the masonry does intend and it does bestir brackishness is not right if the snuffle is not a kind of a lodgepole. sent16: the fact that something is not weedy but it abrades does not hold if it is a businessman. sent17: the snuffle is weedy. sent18: the masonry is weedy. sent19: the masonry is a businessman.
sent10 & sent19 -> int1: the snuffle intends.; int1 & sent12 -> int2: the fact that the patron does not bestir brackishness is correct.; int2 -> int3: there exists something such that that it does not bestir brackishness is not wrong.; int3 & sent8 -> hypothesis;
the fact that that the medalist is non-weedy thing that abrades is not false is incorrect.
sent16 -> int4: if the medalist is a businessman that it is non-weedy and it abrades does not hold.; sent14 -> int5: the snuffle is not a lodgepole if it liquefies Bonasa.; sent3 -> int6: there exists something such that that it is a Ernst and/or is not high-energy does not hold.;
$hypothesis$ = the medalist is a kind of non-weedy thing that does abrade. ; $context$ = sent1: the patron is weedy. sent2: the myocardium is non-anaphasic and bestirs brackishness. sent3: that the patron is a Ernst and/or it is not high-energy is not true. sent4: something does intend if it does not bestir brackishness and is not a businessman. sent5: there exists something such that it bestirs brackishness. sent6: if the snuffle is a deuce it does liquefy Bonasa. sent7: the masonry intends. sent8: the medalist is not weedy but it does abrade if there exists something such that it does not bestir brackishness. sent9: the medalist does abrade. sent10: if the masonry is a businessman that the snuffle intends is not incorrect. sent11: that the snuffle is a deuce is correct if it is preprandial. sent12: if the snuffle intends then the patron does not bestir brackishness. sent13: if something does not bestir brackishness the medalist does abrade. sent14: something is not a lodgepole if it does liquefy Bonasa. sent15: that the masonry does intend and it does bestir brackishness is not right if the snuffle is not a kind of a lodgepole. sent16: the fact that something is not weedy but it abrades does not hold if it is a businessman. sent17: the snuffle is weedy. sent18: the masonry is weedy. sent19: the masonry is a businessman. ; $proof$ = 
sent10 & sent19 -> int1: the snuffle intends.; int1 & sent12 -> int2: the fact that the patron does not bestir brackishness is correct.; int2 -> int3: there exists something such that that it does not bestir brackishness is not wrong.; int3 & sent8 -> hypothesis; __PROVED__