Логика первого порядка и задача автоматической проверки текста

Можно ли проверить истинность высказывания на основании набора фактов? Построение небольшой формальной системы, в которой предложения естественного языка преобразуются в логические формулы, а затем проверяются с помощью правил вывода.