Fork of the propositional logic AIMA Java code