The mouse is cold. The mouse is green. The mouse is nice. The mouse is round. The mouse is young. All young, nice things are green. If the mouse is young then the mouse is nice.
The mouse likes the mouse.
@0: The mouse is cold.[(triple1)] The mouse is green.[(triple2 OR ((triple5 triple3) -> rule1) OR ((triple5 ((triple5) -> rule2)) -> rule1))] The mouse is nice.[(triple3 OR ((triple5) -> rule2))] The mouse is round.[(triple4)] The mouse is young.[(triple5)]