La regola di (Esiste-Eliminazione) e' utilizzata in modo scorretto.
Infatti, per poterla applicare (scaricando l'ipotesi not p(z) )
occorre che z non compaia libera in not r(s,z) (vedi testi, per esempio
[AU] pag.12)