V> Компьютер не может проверить утверждения лишь на основе слов.

Он может использовать для проверки людей (в качестве рук-манипуляторов и устройств ввода, формирующих тексты), ставя им задачи на mturk.com и youdo.com