Considere verdadeira a sentença: Sempre que Laura visita Clara, a mãe de Clara faz biscoitos assados . Portanto, é também verdadeira a sentença:

Sempre que a mãe de Clara faz biscoitos assados, Laura visita Clara.

Sempre que Clara visita Laura, a mãe de Laura faz biscoitos assados.

Se Laura não visita Clara, então, a mãe de Clara faz biscoitos assados.

Se a mãe de Clara não fez biscoitos assados, então, Laura não visitou Clara.

Se Laura não visita Clara, então, a mãe de Clara não faz biscoitos assados.