the roughening Sparganium does not occur if the leverage occurs.
sent1: the roughening Sparganium happens if the leverage happens and the scheduling happens. sent2: if the fact that the leverage happens is not false the roughening Sparganium occurs. sent3: the scheduling happens.
void -> assump1: Let's assume that the leveraging occurs.; assump1 & sent3 -> int1: both the leverage and the scheduling occurs.;
$hypothesis$ = the roughening Sparganium does not occur if the leverage occurs. ; $context$ = sent1: the roughening Sparganium happens if the leverage happens and the scheduling happens. sent2: if the fact that the leverage happens is not false the roughening Sparganium occurs. sent3: the scheduling happens. ; $proof$ = 
void -> assump1: Let's assume that the leveraging occurs.; assump1 & sent3 -> int1: both the leverage and the scheduling occurs.; __UNKNOWN__