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