The mouse is blue. The mouse is green. The mouse is kind. The mouse is rough. The mouse is young. If something is kind then it is rough.
The mouse visits the mouse.
@0: The mouse is blue.[(triple1)] The mouse is green.[(triple2)] The mouse is kind.[(triple3)] The mouse is rough.[(triple4 OR ((triple3) -> rule1))] The mouse is young.[(triple5)]