[4457] 'La domenica tutti i melomani vanno a teatro'. Se la precedente affermazione è vera, allora è necessariamente vero che:
| anche se Angelo non è un appassionato di musica può andare a teatro domenica | |
| la domenica a teatro ci sono solo i melomani | |
| se Angelo non è un melomane non va a teatro la domenica | |
| se Angelo è a teatro domenica, allora sicuramente è un melomane |