there exists something such that if the fact that it does not temper sentimentality is right it does not defray ex-wife.
sent1: there exists something such that if the fact that it does temper sentimentality is not false then it does not defray ex-wife. sent2: if the trump scallops plowed it does not defray ex-wife. sent3: something is not a kind of a marum if it is not a kind of a tabasco. sent4: if something does temper sentimentality it does not defray ex-wife. sent5: there exists something such that if it does not defray chapped then it is not a kind of a Streep. sent6: something is a pull-through if it does not scallop keratoplasty. sent7: the fact that something does not defray ex-wife is right if it does not temper sentimentality.
sent7 -> int1: if that the treadmill does not temper sentimentality is true then it does not defray ex-wife.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if the fact that it does not temper sentimentality is right it does not defray ex-wife. ; $context$ = sent1: there exists something such that if the fact that it does temper sentimentality is not false then it does not defray ex-wife. sent2: if the trump scallops plowed it does not defray ex-wife. sent3: something is not a kind of a marum if it is not a kind of a tabasco. sent4: if something does temper sentimentality it does not defray ex-wife. sent5: there exists something such that if it does not defray chapped then it is not a kind of a Streep. sent6: something is a pull-through if it does not scallop keratoplasty. sent7: the fact that something does not defray ex-wife is right if it does not temper sentimentality. ; $proof$ = 
sent7 -> int1: if that the treadmill does not temper sentimentality is true then it does not defray ex-wife.; int1 -> hypothesis; __PROVED__