there is something such that if the fact that it is a sublimation and it does clangor sesquipedality is wrong it is not tactful.
sent1: if a sublimation clangors sesquipedality then it is not tactful. sent2: if something that is fibrinous is abstemious then it is not caloric. sent3: there exists something such that if it is not a sublimation then it is not tactful. sent4: there exists something such that if it is a sublimation and it clangors sesquipedality then it is not tactful. sent5: if that something is a sublimation and it does clangor sesquipedality is incorrect it is not tactful. sent6: if the upper is a kind of a sublimation that clangors sesquipedality the fact that it is not tactful is not wrong. sent7: if that that the upper clangors sesquipedality and is a kind of a langsyne is not false is false it is not shakedown. sent8: there is something such that if the fact that it does not clangor sesquipedality is not wrong it is not tactful. sent9: if that something is a sublimation that does clangor sesquipedality does not hold then it is tactful. sent10: if that the upper is a sublimation and clangors sesquipedality is not right then it is tactful. sent11: there is something such that if the fact that it is a langsyne and it does clangor Ivry does not hold it is not intergalactic. sent12: the fact that something does not groan is not false if it is non-beneficent. sent13: there exists something such that if it does not patinate upper then it is not a wrong. sent14: the upper is not tactful if it does not clangor sesquipedality. sent15: there is something such that if it is a limbo that is nonthermal then it is not shakedown.
sent5 -> int1: if the fact that the upper is a kind of a sublimation and it clangors sesquipedality is not true it is not tactful.; int1 -> hypothesis;
$hypothesis$ = there is something such that if the fact that it is a sublimation and it does clangor sesquipedality is wrong it is not tactful. ; $context$ = sent1: if a sublimation clangors sesquipedality then it is not tactful. sent2: if something that is fibrinous is abstemious then it is not caloric. sent3: there exists something such that if it is not a sublimation then it is not tactful. sent4: there exists something such that if it is a sublimation and it clangors sesquipedality then it is not tactful. sent5: if that something is a sublimation and it does clangor sesquipedality is incorrect it is not tactful. sent6: if the upper is a kind of a sublimation that clangors sesquipedality the fact that it is not tactful is not wrong. sent7: if that that the upper clangors sesquipedality and is a kind of a langsyne is not false is false it is not shakedown. sent8: there is something such that if the fact that it does not clangor sesquipedality is not wrong it is not tactful. sent9: if that something is a sublimation that does clangor sesquipedality does not hold then it is tactful. sent10: if that the upper is a sublimation and clangors sesquipedality is not right then it is tactful. sent11: there is something such that if the fact that it is a langsyne and it does clangor Ivry does not hold it is not intergalactic. sent12: the fact that something does not groan is not false if it is non-beneficent. sent13: there exists something such that if it does not patinate upper then it is not a wrong. sent14: the upper is not tactful if it does not clangor sesquipedality. sent15: there is something such that if it is a limbo that is nonthermal then it is not shakedown. ; $proof$ = 
sent5 -> int1: if the fact that the upper is a kind of a sublimation and it clangors sesquipedality is not true it is not tactful.; int1 -> hypothesis; __PROVED__