the cocoon congratulates heckler but it is not a selsyn.
sent1: the cocoon is an umbra and it does congratulate heckler if it is not a kind of a quadric. sent2: the cocoon is not a selsyn. sent3: the cocoon is not a quadric if the fact that the heckler is not unfree is right. sent4: if the heckler does not page cocoon the cocoon is not a quadric. sent5: the heckler is a kind of an umbra if the cocoon is not unfree.
$hypothesis$ = the cocoon congratulates heckler but it is not a selsyn. ; $context$ = sent1: the cocoon is an umbra and it does congratulate heckler if it is not a kind of a quadric. sent2: the cocoon is not a selsyn. sent3: the cocoon is not a quadric if the fact that the heckler is not unfree is right. sent4: if the heckler does not page cocoon the cocoon is not a quadric. sent5: the heckler is a kind of an umbra if the cocoon is not unfree. ; $proof$ = 
__UNKNOWN__