I don't think this is the goal of your project, so let me ask this way.
Is there any similiar project, where we provide truths and fallacies, combine them with logical arguments and have a language model generate sets of probable conclusions?
Would be great for brainstorming.