Egy 35 fős osztály tanulói két csoportba oszthatók: a kockafejűekre és az égimeszelőkre. Az égimeszelők állítják, hogy magasabbak a kockafejűeknél, akik viszont jobb matekosnak tartják magukat. Egyikük egyszer azt kérdezte egy égimeszelőtől: ,,Mit értetek azon, hogy ti magasabbak vagytok nálunk? Talán azt, hogy
1. Minden égimeszelő magasabb valamennyi kockafejűnél?
2. A legmagasabb égimeszelő magasabb a legmagasabb kockafejűnél?
3. Minden égimeszelő magasabb valamelyik kockafejűnél?
4. Minden kockafejű alacsonyabb valamelyik égimeszelőnél?
5. A legalacsonyabb kockafejű alacsonyabb a legalacsonyabb égimeszelőnél?''
A kérdések hallatán az égimeszelő szemmel láthatóan összezsugorodott $\text{...}$ A feladat viszont az, hogy megállapítsuk, milyen viszonyban állnak a fenti kijelentések, azaz bármely két állítás esetén döntsük el, következik-e egyikükből a másik.