Программа чисто математическая, треугольник не может существовать если сумма двух его сторон меньше третьей стороны (например 27<12+14 условие не выполняется 27 на самом деле больше 26 а значит треугольник со сторонами 12 14 27 не может существовать) 
теперь о площади, площадь тут мы можем найти по формуле Герона эта формула используется когда нам известны все стороны.
Я скинул два скрина на первом программа выводит что треугольник не существует, а следовательно программа останавливается условием halt и не на ходит площадь, а на втором скрине программа выводит что такой треугольник существует и находит его площадь.