The bear sees the lion. The lion sees the mouse. The mouse chases the bear. The mouse is green. The mouse is nice. The mouse is rough. The mouse visits the lion. If something visits the lion then it is nice.
The mouse chases the bear.
@0: The bear sees the lion.[(triple1)] The lion sees the mouse.[(triple2)] The mouse chases the bear.[(triple3)] The mouse is green.[(triple4)] The mouse is nice.[(triple5 OR ((triple7) -> rule1))] The mouse is rough.[(triple6)] The mouse visits the lion.[(triple7)]