Sabe-se que Júnior viajar é condição necessária para Marcos estudar e condição suficiente para Danilo caminhar com Pedro. Sabe-se, também, que Danilo caminhar com Pedro é condição necessária e suficiente para Sílvio caminhar com Samuel. Assim, quando Sílvio não caminha com Samuel: