Culorile tricourilor: roșu (r), galben (g), albastru (a).
Tricoul lui Mihai nu este nici galben (g) nici roșu (r) ⇒ Mihai are tricoul albastru.
Tricoul lui Ionel este fie albastru (a), fie galben (g), dar pentru că Mihai are tricoul albastru, Ionel îl va avea pe cel galben.
Așadar, lui Dinu îi rămâne tricoul roșu.