https://www.staffansmaros.com/posts/0004-inference-with-model-checking-how-to-give-ai-knowledge/