that there exists something such that if it flattens it is not a convalescence does not hold.
sent1: if the refrigeration is maxillofacial then it is not a kind of a French. sent2: there exists something such that if it flattens then it is a kind of a convalescence. sent3: if something does flatten then it is not a kind of a convalescence. sent4: if something is a kind of a yang it is not stearic. sent5: something is a kind of a convalescence if it flattens. sent6: the refrigeration is a kind of a convalescence if it does flatten. sent7: if something is a cunnilingus it is not a Villon.
sent3 -> int1: the refrigeration is not a convalescence if it does flatten.; int1 -> hypothesis;
there is something such that if it is a cunnilingus then it is not a Villon.
sent7 -> int2: if the scleroprotein is a cunnilingus then it is not a kind of a Villon.; int2 -> hypothesis;
$hypothesis$ = that there exists something such that if it flattens it is not a convalescence does not hold. ; $context$ = sent1: if the refrigeration is maxillofacial then it is not a kind of a French. sent2: there exists something such that if it flattens then it is a kind of a convalescence. sent3: if something does flatten then it is not a kind of a convalescence. sent4: if something is a kind of a yang it is not stearic. sent5: something is a kind of a convalescence if it flattens. sent6: the refrigeration is a kind of a convalescence if it does flatten. sent7: if something is a cunnilingus it is not a Villon. ; $proof$ = 
sent3 -> int1: the refrigeration is not a convalescence if it does flatten.; int1 -> hypothesis; __DISPROVED__