An example operation may include one or more of connecting to a blockchain containing chains of reasoning data and related premise data, receiving an inference query, retrieving from the blockchain chain of reasoning data and related premise data corresponding to the inference query, executing inference steps using the retrieved chain of reasoning data and the related premise data to generate conclusion data, tracking the execution of the inference steps, and sending to the blockchain the tracked inference steps and the conclusion data to be entered into the blockchain as transactions.