Se Mathias est com gripe, ento Maria est com febre. Se
Mathias est na escola, ento Lucio foi passear. Se Maria est com febre, ento Lucio no foi passear. Ora, ou Maria foi passear ou Maria est com febre. Verificou-se que Mathias est na escola. Assim:
a. b. c. d. e.
Mathias no est na escola ou Lucio no foi passear.
Lucio no foi passear e Maria est sem febre. Mathias pode estar com gripe. Maria est sem febre e Maria foi passear. Maria no foi passear ou Mathias est com gripe.