there is something such that if it is not a euphuism and it is Erasmian then that it is not a kind of a woodhewer is not wrong.
sent1: the fact that something is not a Frasera if it is a surfacing that is purgatorial is not incorrect. sent2: if something that does not cloy is a kind of a hypertensive it is not a lead. sent3: if the diemaker is not a euphuism and is Erasmian then it is a woodhewer. sent4: there exists something such that if it is a kind of a euphuism and it is Erasmian it is not a kind of a woodhewer. sent5: if something is a kind of a euphuism and is Erasmian it is not a woodhewer. sent6: if the diemaker is a euphuism and it is Erasmian it is not a woodhewer. sent7: if something is not a kind of a euphuism but it is Erasmian it is not a kind of a woodhewer. sent8: if something is not a euphuism but it is Erasmian then it is a kind of a woodhewer.
sent7 -> int1: if the diemaker is not a euphuism but it is Erasmian then it is not a woodhewer.; int1 -> hypothesis;
there is something such that if it does not cloy and it is a hypertensive it is not a lead.
sent2 -> int2: if the crawlspace does not cloy but it is a hypertensive then it does not lead.; int2 -> hypothesis;
$hypothesis$ = there is something such that if it is not a euphuism and it is Erasmian then that it is not a kind of a woodhewer is not wrong. ; $context$ = sent1: the fact that something is not a Frasera if it is a surfacing that is purgatorial is not incorrect. sent2: if something that does not cloy is a kind of a hypertensive it is not a lead. sent3: if the diemaker is not a euphuism and is Erasmian then it is a woodhewer. sent4: there exists something such that if it is a kind of a euphuism and it is Erasmian it is not a kind of a woodhewer. sent5: if something is a kind of a euphuism and is Erasmian it is not a woodhewer. sent6: if the diemaker is a euphuism and it is Erasmian it is not a woodhewer. sent7: if something is not a kind of a euphuism but it is Erasmian it is not a kind of a woodhewer. sent8: if something is not a euphuism but it is Erasmian then it is a kind of a woodhewer. ; $proof$ = 
sent7 -> int1: if the diemaker is not a euphuism but it is Erasmian then it is not a woodhewer.; int1 -> hypothesis; __PROVED__