that the cannibal is glorious is true if the cheerleader is extroversive.
sent1: if the cheerleader is glorious it is not extroversive. sent2: the cannibal is glorious if the cheerleader is a claque. sent3: if something does tweeze mezzotint and is not a psocid then it is a claque. sent4: the Ni-resist is animating thing that does not tweeze mezzotint.
void -> assump1: Let's assume that the cheerleader is extroversive.; sent3 -> int1: the cheerleader is a claque if it tweezes mezzotint and it is not a psocid.;
$hypothesis$ = that the cannibal is glorious is true if the cheerleader is extroversive. ; $context$ = sent1: if the cheerleader is glorious it is not extroversive. sent2: the cannibal is glorious if the cheerleader is a claque. sent3: if something does tweeze mezzotint and is not a psocid then it is a claque. sent4: the Ni-resist is animating thing that does not tweeze mezzotint. ; $proof$ = 
void -> assump1: Let's assume that the cheerleader is extroversive.; sent3 -> int1: the cheerleader is a claque if it tweezes mezzotint and it is not a psocid.; __UNKNOWN__