Yellow Pigs: Βρες τον Κρυφό Τριψήφιο με Κανόνες Λογικής

Το παιχνίδι Yellow Pigs παίζεται ως εξής:
Ο πρώτος παίκτης επιλέγει τρεις διαφορετικούς αριθμούς από το σύνολο $\{1,2,3,4,5,6,7\}$ και σχηματίζει έναν τριψήφιο αριθμό.
Ο δεύτερος παίκτης προσπαθεί να τον μαντέψει δοκιμάζοντας διαφορετικούς τριψήφιους αριθμούς.

Κάθε προσπάθεια βαθμολογείται με τη μορφή «k pigs, n of them are yellow», που σημαίνει:

• k από τα τρία ψηφία είναι σωστά (ανήκουν στον κρυφό αριθμό),

• από αυτά, n βρίσκονται στη σωστή θέση.

Σε μια παρτίδα, οι πρώτες τέσσερις εικασίες 631, 237, 253, 425 έλαβαν όλες την ίδια απάντηση:
«1 pig; it is not yellow» — δηλαδή ακριβώς ένα σωστό ψηφίο σε λάθος θέση.

Ερώτημα: Ποιος ήταν ο κρυφός τριψήφιος αριθμός;