Сделайте заключение из посылок и проверьте правильность полученного умозаключения