Um analista de sistemas está depurando um código que apresenta um comportamento inesperado. Ele observa que, se o sistema está sobrecarregado (P) e a conexão de rede está instável (Q), então o banco de dados está lento (R). No entanto, ele também percebe que o banco de dados está lento (R) e o sistema não está sobrecarregado (¬P).