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