Нехай Антон зібрав грибів, Борис грибів, Василь грибів, А гриць грибів.
Перша умова: «Антон із Борисом разом зібрали грибів саме стільки, як Василь і Гриць»
Друга умова: «В антона з грицем грибів менше, ніж в Бориса з Василем»
Третя умова: «Гриць знайшов більше грибів ніж, Василь»
Складемо все це в систему й будемо її перетворювати:
з перших двох виразів останньої системи видно, що , тобто:
Тепер повернемося до першої умови. Якщо , то можемо підставити замість і отримати замість рівняння нерівність:
Все, ми розв'язали задачу. Маємо ланцюг: .
Відповідь: Антон, Василь, Гриць, Борис.