there exists something such that if the fact that it is a misdirection and it is a scar is not right it is not a roundedness.
sent1: if the fact that something is a misdirection that scars is incorrect then it is not a roundedness. sent2: if something is a kind of a misdirection and it is a kind of a scar it is not a roundedness. sent3: if the morula is not a misdirection then it is not a roundedness. sent4: there is something such that if it is not a misdirection it is not a roundedness. sent5: the morula is a roundedness if the fact that it is both a misdirection and a scar is incorrect. sent6: if something is not a misdirection then it is not a roundedness.
sent1 -> int1: the morula is not a kind of a roundedness if that it is a kind of a misdirection and it is a scar is not true.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if the fact that it is a misdirection and it is a scar is not right it is not a roundedness. ; $context$ = sent1: if the fact that something is a misdirection that scars is incorrect then it is not a roundedness. sent2: if something is a kind of a misdirection and it is a kind of a scar it is not a roundedness. sent3: if the morula is not a misdirection then it is not a roundedness. sent4: there is something such that if it is not a misdirection it is not a roundedness. sent5: the morula is a roundedness if the fact that it is both a misdirection and a scar is incorrect. sent6: if something is not a misdirection then it is not a roundedness. ; $proof$ = 
sent1 -> int1: the morula is not a kind of a roundedness if that it is a kind of a misdirection and it is a scar is not true.; int1 -> hypothesis; __PROVED__