Enabling rule R053...
Rule R053 is now enabled
Assertion A025 set to true with high certainty
Examining rules R227-R233...
Assertion A025 is not set to rules R227-R233's required truth values
Unable to enable rules R227-R233
Resetting rules and assertions...
Enabling rule R203...
Rule R203 is now enabled
Assertion A025 set to true with medium certainty
Examining rules R227-R233...
Assertion A025 is not set to rules R227-R233's required truth values
Unable to enable rules R227-R233