Законы математической логики

(Л. Шастин) Обозначим через ТРЕУГ(n, m, k) утверждение «существует невырожденный треугольник с длинами сторон n, m и k». Для какого наибольшего натурального числа A формула

ТРЕУГ(A, 7, x) → ((МАКС(x + 5, 14) ⩽ 27) ≡ ¬ТРЕУГ(36, 21, x))

тождественно истинна (т.е. принимает значение 1) при любом натуральном значении переменной x?

Примечание. МАКС(а, b) = а, если а > b, и МАКС(а, b) = b, если а ≤ b.