the sadness occurs and the bout happens.
sent1: the sadness occurs if the fact that the intransitive occurs hold. sent2: the skiing does not occur. sent3: if the considerateness happens then the sticking commuter happens and the slalom does not occur. sent4: if the fact that the Romansh does not occur but the riddling Communion occurs is not true then the sticking ashram happens. sent5: the intransitive occurs if that not the slalom but the considerateness happens does not hold. sent6: the slaloming occurs. sent7: that the skiing does not occur causes that the bout occurs and the unlocking happens. sent8: the unlocking occurs.
void -> assump1: Let's assume that not the slalom but the considerateness occurs.; assump1 -> int1: the slaloming does not occur.; int1 & sent6 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the slaloming does not occur but the considerateness occurs is not right.; int3 & sent5 -> int4: the intransitive occurs.; int4 & sent1 -> int5: the sadness occurs.; sent7 & sent2 -> int6: the bout and the unlocking happens.; int6 -> int7: the bout happens.; int5 & int7 -> hypothesis;
the sticking commuter occurs and the passiveness happens.
$hypothesis$ = the sadness occurs and the bout happens. ; $context$ = sent1: the sadness occurs if the fact that the intransitive occurs hold. sent2: the skiing does not occur. sent3: if the considerateness happens then the sticking commuter happens and the slalom does not occur. sent4: if the fact that the Romansh does not occur but the riddling Communion occurs is not true then the sticking ashram happens. sent5: the intransitive occurs if that not the slalom but the considerateness happens does not hold. sent6: the slaloming occurs. sent7: that the skiing does not occur causes that the bout occurs and the unlocking happens. sent8: the unlocking occurs. ; $proof$ = 
void -> assump1: Let's assume that not the slalom but the considerateness occurs.; assump1 -> int1: the slaloming does not occur.; int1 & sent6 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the slaloming does not occur but the considerateness occurs is not right.; int3 & sent5 -> int4: the intransitive occurs.; int4 & sent1 -> int5: the sadness occurs.; sent7 & sent2 -> int6: the bout and the unlocking happens.; int6 -> int7: the bout happens.; int5 & int7 -> hypothesis; __PROVED__