the gripe does not occur.
sent1: that the fact that both the Tantricness and the lithomanticness occurs hold is not true. sent2: both the lithomanticness and the Tantricness occurs if the unpaintableness does not occur. sent3: the gripe does not occur if the Tantricness occurs. sent4: the Tantricness does not occur. sent5: if the Tantricness happens the gripe happens. sent6: if the fact that the non-Tantricness and the lithomanticness occurs does not hold the griping does not occur. sent7: that the suborning chlorobenzene does not occur prevents that the unpaintableness happens.
void -> assump1: Let's assume that the non-Tantricness and the lithomanticness occurs.; assump1 -> int1: the lithomanticness occurs.;
the griping happens.
$hypothesis$ = the gripe does not occur. ; $context$ = sent1: that the fact that both the Tantricness and the lithomanticness occurs hold is not true. sent2: both the lithomanticness and the Tantricness occurs if the unpaintableness does not occur. sent3: the gripe does not occur if the Tantricness occurs. sent4: the Tantricness does not occur. sent5: if the Tantricness happens the gripe happens. sent6: if the fact that the non-Tantricness and the lithomanticness occurs does not hold the griping does not occur. sent7: that the suborning chlorobenzene does not occur prevents that the unpaintableness happens. ; $proof$ = 
void -> assump1: Let's assume that the non-Tantricness and the lithomanticness occurs.; assump1 -> int1: the lithomanticness occurs.; __UNKNOWN__