The mouse is blue. The mouse is cold. The mouse is kind. The mouse is nice. The mouse is young. All cold, kind things are nice. All blue, young things are nice.
The mouse chases the mouse.
@0: The mouse is blue.[(triple1)] The mouse is cold.[(triple2)] The mouse is kind.[(triple3)] The mouse is nice.[(triple4 OR ((triple1 triple5) -> rule2) OR ((triple2 triple3) -> rule1))] The mouse is young.[(triple5)]