The bear visits the mouse. The cow chases the dog. The dog visits the bear. The mouse visits the cow. If something is green then it does not see the bear. If the cow is young then the cow is nice. If something visits the mouse then it is green.
The bear is not green.
@0: The bear visits the mouse.[(triple1)] The cow chases the dog.[(triple2)] The dog visits the bear.[(triple3)] The mouse visits the cow.[(triple4)] @1: The bear is green.[(((triple1) -> rule3))] @2: The bear does not see the bear.[(((((triple1) -> rule3)) -> rule1))]