Minor bug fix.
Removed some debug statements.
LHS patterns of a condition-action rule are :Proposition, not :Propositional.