Integrated NegateBooleanRule from Riccardo