The tools and systems we have around critical thinking and logical statements are nowhere near sufficient to solve the problem let alone computer. Give it a try you'll never get people to agree what the logical consistent statement best represents an article.