Даны три натуральных числа a, b, c. определите, существует ли треугольник с такими сторонами. если треугольник существует, выведите строку yes, иначе выведите строку no. определите, какой это треугольник: равнобедренный, равносторонний или произвольный. программа должна быть на python

#!/usr/bin/env python
# -*- coding: utf-8 -*-
# vim:fileencoding=utf-8

print("Введите длины сторон треугольника:")
a = float(input("a = "))
b = float(input("b = "))
c = float(input("c = ")) 
if a + b > c and a + c > b and b + c > a:
   print("YES")
else:
    print("NO")

if a != b and a != c and b != c:
    print("Произвольный")
elif a == b == c:
    print("Равносторонний")
else:
    print("Равнобедренный")

Предположим, что первый свидетель соврал, что автобус - первый, и сказал правду, что маршрутка - вторая.
 Тогда для третьего свидетеля - утверждение про автобус - ложь (так как вторым выехала маршрутка), значит третьим выехал легковой автомобиль.
Тогда оба утверждения второго свидетеля являются ложью (у него легковой автомобиль - четвёртый на перекрестке, грузовик - второй, в у нас получилось легковой автомобиль - третий, в маршрутка - вторая).
Получили противоречие. Значит, первый свидетель сказал правду, что автобус первый и соврал про маршрутку.
Тогда из утверждений третьего свидетеля следует, что легковой автомобиль - третий.
Из второго свидетеля следует, что грузовик - второй.
Тогда маршрутке остаётся четвёртое место.
ответ: АГЛМ

// PascalABC.NET 3.0, сборка 1144 от 16.01.2016
begin
  var a:=ArrRandom(100,-10,10);
  a.Println;
  Writeln(a.Where(x->x>0).Count,' положительных, ',
    a.Where(x->x<0).Count,' отрицательных')
end.

Тестовое решение:
4 -6 0 8 2 -2 -1 -8 -6 8 -3 7 4 -7 -5 9 0 -3 -7 1 0 -4 6 3 8 -10 4 9 3 5 8 5 5 8 10 4 -8 3 8 8 -9 2 7 -8 -7 -5 2 -9 0 9 -7 7 -2 -6 7 -2 -1 7 -10 2 4 1 -1 0 10 3 -8 6 -6 2 6 7 -1 -4 -1 8 0 3 0 2 -2 2 -1 5 1 -9 -4 1 -9 1 -6 -5 3 -4 -7 1 -7 -3 -7 1
51 положительных, 42 отрицательных