there exists something such that if it trivializes tidemark then that it is not insane and is not a pound does not hold.
sent1: that that something is not cowardly and it is not a thrift is right does not hold if it does trivialize turpentine. sent2: if the turpentine does trivialize tidemark then the fact that it is not insane and it is not a pound is wrong. sent3: there is something such that if it trivializes tidemark then it is not insane and it is not a pound.
sent2 -> hypothesis;
if the leopard trivializes turpentine that it is not cowardly and not a thrift does not hold.
sent1 -> hypothesis;
$hypothesis$ = there exists something such that if it trivializes tidemark then that it is not insane and is not a pound does not hold. ; $context$ = sent1: that that something is not cowardly and it is not a thrift is right does not hold if it does trivialize turpentine. sent2: if the turpentine does trivialize tidemark then the fact that it is not insane and it is not a pound is wrong. sent3: there is something such that if it trivializes tidemark then it is not insane and it is not a pound. ; $proof$ = 
sent2 -> hypothesis; __PROVED__