Examining assertion A050...
Assertion A050 is false with high certainty
Examining rule R204...
Assertion A050 is set to rule R204's required truth value
Rule R204 is now enabled
Assertion A004 set to false with high certainty
Examining rules R218-R220...
Assertion A004 is not set to rules R218-R220's required truth values
Unable to enable rules R219-R220