Напишите сообщение об типах капетолизме ​

Не больше - значит, меньше или равно. Они все сказали правду.
Среди них 0 брехунов, а это не больше 1, не больше 2, не больше 3 и не больше 4.
Причем тот, кто сказал "Не больше 4" - сказал правду, их же всего 4.
Если среди них есть один брехун, то опять-таки все сказали правду.
Потому что один - это не больше одного. Получаем противоречие.
Если среди них два брехуна, то соврал только один: который сказал
"Не больше одного". Опять противоречие.
Если брехунов трое, то соврали только двое, которые сказали
"Не больше 1" и "Не больше 2".

// PascalABC.NET 3.1, сборка 1219 от 16.04.2016
begin
  var n:=ReadInteger('Введите четырехзначное число');
  Writeln('В числе');
  Writeln(n div 1000,' - тысяч');
  Writeln((n div 100) mod 10,' - сотен');
  Writeln((n mod 100) div 10,' - десятков');
  Writeln(n mod 10,' - единиц')
end.

Тестовое решение:
Введите четырехзначное число 4072
В числе
4 - тысяч
0 - сотен
7 - десятков
2 - единиц

// PascalABC.NET 3.1, сборка 1219 от 16.04.2016
begin
  var n:=ReadInteger('Введите трехзначное число');
  var s:=n div 100;
  var d:=(n div 10) mod 10;
  var e:=n mod 10;
  Writeln('Sum=',s+d+e);
  Writeln(e,d,s);
  Writeln('В числе');
  Writeln(e,' - сотен');
  Writeln(d,' - десятков');
  Writeln(s,' - единиц')
end.

Тестовое решение:
Введите трехзначное число 492
Sum=15
294
В числе
2 - сотен
9 - десятков
4 - единиц