Ao investigar um assalto, a polícia levantou três proposições acerca das características dos possíveis responsáveis pelo delito: os envolvidos conheciam a vítima (p), os envolvidos já tinham passagem pela polícia (q) e os envolvidos tinham conhecimento de que a vítima transportava valores no dia do crime (r). A partir dessas proposições e avançando nas investigações, a polícia chegou a quatro suspeitos e aos seguintes argumentos (o símbolo lógico ¬ indica negação):

I se p ou ¬ q ou r, então o suspeito 1 participou do crime;

II se p ou ¬ r, então o suspeito 2 participou do crime;

III se q ou r, então o suspeito 3 não participou do crime;

IV o suspeito 4 participou do crime se, e somente se, p e ¬ q.

Ao final da investigação, a polícia verificou a veracidade ou não das hipóteses p, q e r e, seguindo os argumentos I, II, III e IV, todos válidos, conseguiu identificar o(s) suspeito(s) participante(s) do crime.

Se o suspeito 1 não participou do crime, então