The mouse is cold. The mouse is green. The mouse is young. If the mouse is cold then the mouse is green. Round things are young. All big things are cold.
The mouse is not green.
@0: The mouse is cold.[(triple1)] The mouse is green.[(triple2 OR ((triple1) -> rule1))] The mouse is young.[(triple3)]