São quatro os cachorros: Bob, Rex, Touro e Fofo. Um deles é preto, outro é branco, outro é marrom e outro é malhado, não necessariamente nesta ordem.
Sabe-se que:
É verdadeira a afirmação: se Bob é malhado, então Rex não é preto.
Não é verdadeira a afirmação: se Fofo é marrom, então Touro é branco.
É verdadeira a afirmação: se Touro não é branco, então Rex é preto.
A partir dessas informações, pode-se concluir corretamente que