>>26816
10 и 15

Задачу можно переформулировать так. У Эмилия (a), Гая (b) и Марка (c) на лбу написаны целые положительные числа, сумма двух из них равна третьему (и они это знают). Между ними происходит следующий диалог:

a: "я не знаю свое число".
b: "я не знаю свое число".
c: "я не знаю свое число".
a: "я знаю свое число".

Определить b и c, если a = 25.

Если проигнорировать информацию, что a = 25, то путём вывода линейных предикатов (который можно провести хоть на бумажке, хоть в солвере, но в уме это сделать и не запутаться крайне трудно) можно установить, что a, b и c – любые числа, удовлетворяющие условию

(a = b + c) ∧ ( (c = 2b) ∨ (c = 3b) ∨ (b = 2c) ∨ (b = 3c) ∨ (2c = 3b) ∨ (3c = 5b) ).

Но если учесть, что a = 25, то из этого предиката мгновенно следует, что b = 10 и c = 15.