Add 'Negative Elimination' rule with conditional clause