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: