(3)xFx & (4)xGx & non (x)Fx & Gx .. (3 + 4)x.Fx .. Gx

     Dieser Ausdruck ist nicht dasselbe wie die Ersetzungsregel 3 + 4 = 7.