Sabe-se que Jorge estar dançando é condição necessária para Marta cantar e condição suficiente para Eduarda beijar Carlos. Sabe-se, também, que Eduarda beijar Carlos é condição necessária e suficiente para Selma beijar Sílvio. Assim, quando Selma não beija Sílvio, têm-se que: