Examining variable V009...
Variable V009 is equal to 17
Examining rules R045 and R176...
Variable V009 satisfies rule R045's conditional
Variable V009 does not satisfy rule R176's conditional
Rule R045 is now enabled
Unable to enable rule R176
Assertion A062 set to true with medium certainty
Examining rule R185...
Assertion A062 is set to rule R185's required truth value
Assertion A002 has no assigned truth value
Unable to enable rule R185
Resetting rules, assertions, and variables...
Examing variable V009...
Variable V009 is equal to 1
Examining rules R045 and R176...
Variable V009 does not satisfy rule R045's conditional
Variable V009 satisfies rule R176's conditional
Unable to enable rule R045
Rule 176 is now enabled
Assertion A002 set to true with medium certainty
Examining rule R185...
Assertion A062 has no assigned truth value
Assertion A002 is set to rule R185's required truth value
Unable to enable rule R185