System recognising only proven or logical facts