www.genderi.org//algebraic-approach-to-logical-inference-implementation.html?page=9