Задача #2095

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

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

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

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