The mouse is cold. The mouse is green. The mouse is kind. The mouse is nice. The mouse is red. Green things are red. All kind things are green.
The mouse does not visit the mouse.
@0: The mouse is cold.[(triple1)] The mouse is green.[(triple2 OR ((triple3) -> rule2))] The mouse is kind.[(triple3)] The mouse is nice.[(triple4)] The mouse is red.[(triple5 OR ((triple2) -> rule1) OR ((((triple3) -> rule2)) -> rule1))]