Introducing Chogic: A Primitive Part of the MARMML Machine Reasoning System Selmer Bringsjord Konstantine Arkoudas, Josh Taylor, Yingrui Yang, Paul Bello.