The mouse is blue. The mouse is green. The mouse is kind. The mouse is rough. The mouse is round. Round, rough things are green.
The mouse visits the mouse.
@0: The mouse is blue.[(triple1)] The mouse is green.[(triple2 OR ((triple5 triple4) -> rule1))] The mouse is kind.[(triple3)] The mouse is rough.[(triple4)] The mouse is round.[(triple5)]