Cengiz Erbas: A General-Purpose Machine Reasoning Engine. AGI 2022: 3-13