Computer system and training data generation method

A method for generating training data used for training a model configured to perform a logical inference, the method being executed by a computer system,

• the computer system including at least one computer,
• the computer system holding argument data representing an argument that leads to a conclusion proposition from a plurality of premise propositions,
• the proposition being expressed as a logical expression,
• the method comprising:
• a first step of searching for, by the at least one computer, the argument data whose conclusion is the premise proposition of the argument data or the argument data whose premise is the conclusion proposition of the argument data and performing combination to generate proof data representing a proof that leads to a conclusion proposition by repeating the argument a plurality of times;
• a second step of converting, by the at least one computer, the proof data into a text expressed as a language expression;
• and
• a third step of generating, by the at least one computer, the training data using the text.