Βήμα 1: Μετατροπή των δεδομένων σε λογικές σχέσεις

• Γιώργος > Βασίλης και Γιώργος < Δημήτρης ⇒ Δ: Δημήτρης > Γιώργος > Βασίλης.
• Άρης < Βασίλης ⇒ Βασίλης > Άρης.
• Ερμής > Δημήτρης.
• Ο Άρης είναι μεγαλύτερος από τον Δημήτρη μόνο αν ο Βασίλης είναι ο νεότερος.

Βήμα 2: Εξαγωγή της σχετικής κατάταξης

• Από το Ερμής > Δημήτρης και Δημήτρης > Γιώργος > Βασίλης, έχουμε: Ερμής > Δημήτρης > Γιώργος > Βασίλης.
• Ο Άρης είναι μικρότερος από τον Βασίλη, άρα η θέση του Άρη είναι μετά τον Βασίλη.
• Άρα, αν ο Άρης > Δημήτρης, τότε ο Βασίλης θα ήταν ο νεότερος, αλλά αυτό είναι αδύνατο γιατί έχουμε ήδη Άρης < Βασίλης.
• Συνεπώς, ο Άρης < Δημήτρης, και επίσης αφού Άρης < Βασίλης και Βασίλης > Άρης, η μόνη θέση για τον Άρη είναι να είναι ο νεότερος.

Βήμα 3: Οριστική κατάταξη

Από τα παραπάνω προκύπτει:

1. Ερμής (μεγαλύτερος)
2. Δημήτρης
3. Γιώργος
4. Βασίλης
5. Άρης (νεότερος)

Βήμα 4: Έλεγχος των προτάσεων

1. Ο Ερμής είναι ο μεγαλύτερος ⇒ Σωστό.
2. Ο Άρης είναι νεότερος από τον Γιώργο ⇒ Σωστό (Άρης < Βασίλης < Γιώργος).
3. Ο Δημήτρης είναι μεγαλύτερος από τον Βασίλη ⇒ Σωστό.
4. Ο Βασίλης είναι ο νεότερος ⇒ Λάθος (νεότερος είναι ο Άρης).
5. Ο Άρης δεν είναι ο νεότερος ⇒ Λάθος (είναι ο νεότερος).

Βήμα 5: Επιλογή σωστής απάντησης

Οι αναγκαία σωστές προτάσεις είναι οι 1, 2 και 3 ⇒ Η σωστή επιλογή είναι η Α.

Βήμα 6: Επαλήθευση

Η σειρά ηλικιών που προέκυψε ικανοποιεί όλες τις δοσμένες συνθήκες και επιβεβαιώνει τις σωστές προτάσεις.

Θεωρία

• Η επίλυση τέτοιων προβλημάτων βασίζεται στην λογική διάταξη (ordering problems) και στην ανάλυση προτάσεων με συγκριτικές σχέσεις (>, <).
• Η διαδικασία περιλαμβάνει:
  1. Μετατροπή λεκτικών δεδομένων σε ανισότητες μεταξύ των προσώπων/αντικειμένων.
  2. Σταδιακή κατασκευή της ακολουθίας από το μεγαλύτερο προς το μικρότερο.
  3. Έλεγχο συνέπειας ώστε να μην παραβιάζεται καμία συνθήκη.
  4. Επαλήθευση της τελικής διάταξης με τα αρχικά δεδομένα.
• Η φράση "μόνο αν" στην λογική σημαίνει ότι η πρόταση αληθεύει μόνο στην περίπτωση που ισχύει η δεύτερη συνθήκη, διαφορετικά είναι ψευδής. Χρησιμοποιείται συχνά για να αποκλείσει πιθανά σενάρια.