Рибалки Адам, Бауер, Крістіансен і Дазе (скорочено А, В, С и D – по перших латинських літерах їхніх імен), зваживши свій улов, установили наступне:
     (1) D піймав більше, ніж С.
     (2) А и В разом піймали стільки ж, скільки С и D (разом).
     (3) A і D разом піймали менше, ніж В и С (разом).
     Розташуєте результати зважувань уловів а, b , с и d . рибалок A, В, С и D по величині.

     Результати зважування уловів а, b, с и d задовольняють співвідношенням
     c<d (1), a+b = c+d (2),
     a+d<b+c. (3)
     З (2) і (3) при додаванні отримаємо нерівність 2a+b+d<b+2c+d, звідки 2а<2с і, отже, а<с.
     З (1) і нерівності а < с робимо висновок , що a<c<d.
     Нарешті, з (2) і нерівності а<с отримуємо d<b. Таким чином, виконується ланцюжок нерівності a<c<d<b.
     Отже, найбільший (за вагою) улов у рибалки В; за ним ідуть D, С і А.