Sabe-se que Júlia trabalhar é condição necessária para Márcia viajar e condição suficiente para Dalva caminhar com Paula. Sabe-se, também, que Dalva caminhar com Paula é condição suficiente para Sabrina não caminhar com Sílvia.

Assim, quando Sabrina não caminha com Sílvia,