Преобразование НЛП в CSP: согласованность истории

Question

Справочная информация: Я хотел бы знать, удалось ли кому-либо преобразовать естественный язык в базу знаний, представляющую проблему удовлетворения ограничений. Я хочу, чтобы предварительные ограничения удовлетворяли заявлениям человека, чтобы видеть, присутствуют ли какие-либо несоответствия при предварительном подтверждении резолюции в утверждениях. Это может быть использовано в зале суда или во время предвыборных дебатов.

Итак, чтобы выложить мой идеалистический алгоритм согласованности истории:

A first statement comes in, convert it and add it to the Knowledge Base (KB)
While next
     get next statement
     convert statement to clause
     negate clause, 
     add negated clause to KB
     check for contradiction (perform resolution)
     report finding
     remove the original clause to see if the story changes again
     add the new clause

Как бы я преобразовал утверждение в пригодное для использования предложение?

Например:

~A B C 
a ~B C