Considere que as proposições simples p, q, r, s e t satisfazem:

I. (¬p ? q) ? r
II. p ? s
III. ¬q ? t

É correto inferir que a ocorrência de ¬r é suficiente para a ocorrência de: