Boxeři

Carl není boxer.

Ze informace 1 víme, že Carl není starší boxer.
Ze skutečnosti 3 víme, že Ben není mladší boxer.
Nyní máme tři možné scénáře:

1. Al je mladší boxer a Ben je starší boxer.
2. Ben je starší boxer a Carl je mladší boxer.
3. Al je starší boxer a Carl je mladší boxer.

Pokud je scénář 1 pravdivý, fakt 1 nám říká, že Ben je menší než Al.
Pokud je scénář 2 pravdivý, fakt 1 nám říká, že Ben je menší než Al; Fakt 3 nám říká, že Carl je vyšší než Al, takže Ben je menší než Carl.
Pokud je scénář 3 pravdivý, fakt 3 nám říká, že Carl je vyšší než Al.
Nyní můžeme naše tři scénáře rozvést:

1. Al je mladší, vyšší boxer a Ben je starší, menší boxer.
2. Ben je starší, menší boxer a Carl je mladší a vyšší boxer.
3. Al je starší, kratší boxer a Carl je mladší a vyšší boxer.

Scénář 2 nemůže být možný, protože je v rozporu se skutečností 2 tím, že mladší z Bena a Carla je vyšší boxer.
Fakt 2 nám také říká, že Al není ten menší boxer, takže scénář 3 také není možný.
Scénář 1 je tedy pravdivý, což znamená, že Carl není boxer.