the compromising sculptor occurs.
sent1: that the symbolicness happens hold. sent2: the compromising sculptor happens if the telephonicness occurs. sent3: the compromising sculptor does not occur if the fact that both the non-cerebrospinalness and the bog happens does not hold. sent4: the preparing disarray does not occur. sent5: the cerebrospinalness happens if the bog does not occur. sent6: if the fact that the bog happens is not false the telephonicness happens.
void -> assump1: Let's assume that the bogging does not occur.; sent5 & assump1 -> int1: the cerebrospinalness occurs.;
the compromising sculptor does not occur.
$hypothesis$ = the compromising sculptor occurs. ; $context$ = sent1: that the symbolicness happens hold. sent2: the compromising sculptor happens if the telephonicness occurs. sent3: the compromising sculptor does not occur if the fact that both the non-cerebrospinalness and the bog happens does not hold. sent4: the preparing disarray does not occur. sent5: the cerebrospinalness happens if the bog does not occur. sent6: if the fact that the bog happens is not false the telephonicness happens. ; $proof$ = 
void -> assump1: Let's assume that the bogging does not occur.; sent5 & assump1 -> int1: the cerebrospinalness occurs.; __UNKNOWN__