the trueness does not occur.
sent1: if the girdling grad happens then the fact that the feast does not occur is right. sent2: the side-glance but not the feast happens if the girdling grad happens. sent3: that the true happens and the scuffing quodlibet occurs causes that the side-glance does not occur. sent4: the scuffing bloodmobile happens. sent5: the girdling grad and the nonexploratoriness occurs.
void -> assump1: Let's assume that that the truing occurs hold.; sent5 -> int1: the girdling grad happens.; sent2 & int1 -> int2: the side-glance but not the feast happens.; int2 -> int3: the side-glance occurs.;
$hypothesis$ = the trueness does not occur. ; $context$ = sent1: if the girdling grad happens then the fact that the feast does not occur is right. sent2: the side-glance but not the feast happens if the girdling grad happens. sent3: that the true happens and the scuffing quodlibet occurs causes that the side-glance does not occur. sent4: the scuffing bloodmobile happens. sent5: the girdling grad and the nonexploratoriness occurs. ; $proof$ = 
void -> assump1: Let's assume that that the truing occurs hold.; sent5 -> int1: the girdling grad happens.; sent2 & int1 -> int2: the side-glance but not the feast happens.; int2 -> int3: the side-glance occurs.; __UNKNOWN__