O rei ir à caça é condição necessária para o duque
sair do castelo, e é condição suficiente para a
duquesa ir ao jardim. Por outro lado, o conde encontrar
a princesa é condição necessária e suficiente
para o barão sorrir e é condição necessária
para a duquesa ir ao jardim. O barão não sorriu.
Logo:
A
A duquesa foi ao jardim ou o conde encontrou
a princesa.
B
Se o duque não saiu do castelo, então o
conde encontrou a princesa.
C
O rei não foi à caça e o conde não encontrou
a princesa.