Нехай Антон зібрав
грибів, Борис
грибів, Василь
грибів, А гриць
грибів.
Перша умова: «Антон із Борисом разом зібрали грибів саме стільки, як Василь і Гриць»

Друга умова: «В антона з грицем грибів менше, ніж в Бориса з Василем»

Третя умова: «Гриць знайшов більше грибів ніж, Василь»
c" alt="d>c" align="absmiddle" class="latex-formula">
Складемо все це в систему й будемо її перетворювати:

з перших двох виразів останньої системи видно, що
d-b" alt="b-d>d-b" align="absmiddle" class="latex-formula">, тобто:
2d\\b>d" alt="2b>2d\\b>d" align="absmiddle" class="latex-formula">
Тепер повернемося до першої умови. Якщо
d" alt="b>d" align="absmiddle" class="latex-formula">, то можемо підставити
замість
і отримати замість рівняння нерівність:

Все, ми розв'язали задачу. Маємо ланцюг:
d>c>a" alt="b>d>c>a" align="absmiddle" class="latex-formula">.
Відповідь: Антон, Василь, Гриць, Борис.