the lunching accumulator does not occur.
sent1: if the scapulohumeralness does not occur the Simonizing territory occurs and the capitalization happens. sent2: the Simonizing territory occurs. sent3: the clamatorialness does not occur. sent4: that the Simonizing territory and the lunching accumulator occurs prevents that the commitment happens.
void -> assump1: Let's assume that the lunching accumulator occurs.; sent2 & assump1 -> int1: the Simonizing territory happens and the lunching accumulator occurs.; int1 & sent4 -> int2: the commitment does not occur.;
both the capitalization and the washing-up happens.
$hypothesis$ = the lunching accumulator does not occur. ; $context$ = sent1: if the scapulohumeralness does not occur the Simonizing territory occurs and the capitalization happens. sent2: the Simonizing territory occurs. sent3: the clamatorialness does not occur. sent4: that the Simonizing territory and the lunching accumulator occurs prevents that the commitment happens. ; $proof$ = 
void -> assump1: Let's assume that the lunching accumulator occurs.; sent2 & assump1 -> int1: the Simonizing territory happens and the lunching accumulator occurs.; int1 & sent4 -> int2: the commitment does not occur.; __UNKNOWN__