выводить заключение через дедукцию