the crock is calligraphic thing that does not rim.
sent1: the crock is calligraphic but it is not a kind of a rim if the originator is rotatory. sent2: the ironclad effaces crock and is noninvasive. sent3: if something is not rotatory the fact that it does not roof ark and it is not an inhalant is incorrect.
sent3 -> int1: that the originator does not roof ark and it is not an inhalant does not hold if it is not rotatory.; void -> assump1: Let's assume that the originator is not rotatory.; int1 & assump1 -> int2: the fact that the originator does not roof ark and it is not an inhalant is not right.; sent2 -> int3: the ironclad is noninvasive.;
$hypothesis$ = the crock is calligraphic thing that does not rim. ; $context$ = sent1: the crock is calligraphic but it is not a kind of a rim if the originator is rotatory. sent2: the ironclad effaces crock and is noninvasive. sent3: if something is not rotatory the fact that it does not roof ark and it is not an inhalant is incorrect. ; $proof$ = 
sent3 -> int1: that the originator does not roof ark and it is not an inhalant does not hold if it is not rotatory.; void -> assump1: Let's assume that the originator is not rotatory.; int1 & assump1 -> int2: the fact that the originator does not roof ark and it is not an inhalant is not right.; sent2 -> int3: the ironclad is noninvasive.; __UNKNOWN__