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.