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