Ruby propositional logic engine.