there is something such that if it does not reign tellurium then it does reign leatherwork.
sent1: something is nice if it is not a kind of a capriole. sent2: something is a kind of a nothingness if it is a rake.
there is something such that if it is not a capriole it is nice.
sent1 -> int1: if the dun does not capriole it is nice.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it does not reign tellurium then it does reign leatherwork. ; $context$ = sent1: something is nice if it is not a kind of a capriole. sent2: something is a kind of a nothingness if it is a rake. ; $proof$ = 
__UNKNOWN__