the ungenerousness happens and the sounding recission occurs if the monocarboxylicness does not occur.
sent1: if the rehabilitativeness does not occur the ungenerousness occurs. sent2: the sounding recission happens. sent3: the monocarboxylicness triggers the non-rehabilitativeness. sent4: the choreography and the hurling happens if the fundamentalistness does not occur. sent5: that the monocarboxylicness happens leads to that the ungenerousness occurs and the sounding recission occurs. sent6: if the monocarboxylicness does not occur the fact that the rehabilitativeness does not occur hold.
void -> assump1: Let's assume that the monocarboxylicness does not occur.; sent6 & assump1 -> int1: the rehabilitativeness does not occur.; int1 & sent1 -> int2: the ungenerousness occurs.; int2 & sent2 -> int3: the ungenerousness and the sounding recission happens.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the ungenerousness happens and the sounding recission occurs if the monocarboxylicness does not occur. ; $context$ = sent1: if the rehabilitativeness does not occur the ungenerousness occurs. sent2: the sounding recission happens. sent3: the monocarboxylicness triggers the non-rehabilitativeness. sent4: the choreography and the hurling happens if the fundamentalistness does not occur. sent5: that the monocarboxylicness happens leads to that the ungenerousness occurs and the sounding recission occurs. sent6: if the monocarboxylicness does not occur the fact that the rehabilitativeness does not occur hold. ; $proof$ = 
void -> assump1: Let's assume that the monocarboxylicness does not occur.; sent6 & assump1 -> int1: the rehabilitativeness does not occur.; int1 & sent1 -> int2: the ungenerousness occurs.; int2 & sent2 -> int3: the ungenerousness and the sounding recission happens.; [assump1] & int3 -> hypothesis; __PROVED__