. Формализовать представленные рассуждения в виде формул логики
предикатов и доказать полученное умозаключение методом резолюций:
«Всякий чуткий человек отзывчив и только женщины являются чуткими людьми. Существуют чуткие люди. Следовательно, некоторые из женщин отзывчивы.»