the run-through triggers that the glomming but not the hogging zooid happens.
sent1: if the clouding does not occur then that the philatelicness occurs and the repressing putty occurs is not true. sent2: that the migration does not occur and the junior does not occur is triggered by that the terror does not occur. sent3: if the juniorness does not occur then the glomming but not the hogging zooid occurs. sent4: if the terror does not occur the migration does not occur. sent5: if that that both the philatelicness and the repressing putty occurs does not hold is not wrong the terror does not occur.
void -> assump2: Let's assume that the run-through occurs.;
$hypothesis$ = the run-through triggers that the glomming but not the hogging zooid happens. ; $context$ = sent1: if the clouding does not occur then that the philatelicness occurs and the repressing putty occurs is not true. sent2: that the migration does not occur and the junior does not occur is triggered by that the terror does not occur. sent3: if the juniorness does not occur then the glomming but not the hogging zooid occurs. sent4: if the terror does not occur the migration does not occur. sent5: if that that both the philatelicness and the repressing putty occurs does not hold is not wrong the terror does not occur. ; $proof$ = 
void -> assump2: Let's assume that the run-through occurs.; __UNKNOWN__