the drain excises overkill and it does perplex Sorex.
sent1: The permeation stigmatizes seagrass. sent2: the seagrass stigmatizes permeation. sent3: the drain does perplex Sorex. sent4: The Sorex does perplex drain. sent5: the drain excises overkill if that the seagrass stigmatizes permeation hold. sent6: the fact that that the drain does excise overkill and does perplex Sorex is not incorrect is false if the seagrass does not stigmatize permeation. sent7: the hydrochlorothiazide does stigmatize permeation. sent8: something does not stigmatize permeation if it does perplex Danton.
sent5 & sent2 -> int1: the drain excises overkill.; int1 & sent3 -> hypothesis;
the fact that the drain does excise overkill and it perplexes Sorex is not true.
sent8 -> int2: the seagrass does not stigmatize permeation if it perplexes Danton.;
$hypothesis$ = the drain excises overkill and it does perplex Sorex. ; $context$ = sent1: The permeation stigmatizes seagrass. sent2: the seagrass stigmatizes permeation. sent3: the drain does perplex Sorex. sent4: The Sorex does perplex drain. sent5: the drain excises overkill if that the seagrass stigmatizes permeation hold. sent6: the fact that that the drain does excise overkill and does perplex Sorex is not incorrect is false if the seagrass does not stigmatize permeation. sent7: the hydrochlorothiazide does stigmatize permeation. sent8: something does not stigmatize permeation if it does perplex Danton. ; $proof$ = 
sent5 & sent2 -> int1: the drain excises overkill.; int1 & sent3 -> hypothesis; __PROVED__