x E,   y F,   z G,   t T,   P(x, y, z, t)

Rétablissons un parenthésage :

x E,   ( y F,   ( z G,   ( t T,   P(x, y, z, t))))

prenons la négation :

non( x E,   ( y F,  ( z G,   ( t T,   P(x, y, z, t)))))

appliquons la première propriété :

x E,   non( y F,   ( z G,   ( t T,   P(x, y, z, t))))

appliquons la deuxième propriété :

x E,   y F,   non( z G,   ( t T,   P(x, y, z, t)))

appliquons la première propriété :

x E,   y F,   z G,   non( t T,   P(x,y,z,t))

appliquons la deuxième propriété :

x E,   y F,   z G,   t T,   nonP(x, y, z, t).