A simple parser and evaluator for truth functional logic statements.