Additional reduction rule: bubble negation upwards.