Emum bate-papo, Ronaldo afirmou: 
 
Se o Edelson não comer batata frita, então o Francisco vai comer pastel. Se o Edelson comer batata frita, então a Márcia não vai comer empada.
 
Se a Márcia comeu empada, então, é necessariamente verdade
    Se o Edelson não comer batata frita, então o Francisco vai comer pastel. Se o Edelson comer batata frita, então a Márcia não vai comer empada.
Se a Márcia comeu empada, então, é necessariamente verdade
