👤

[p(non q si r)] implica non p