The bear needs the cow. The cow eats the bear. The cow needs the bear. If the bear visits the cow and the bear is red then the cow needs the bear. If someone eats the bear then they are green. If someone needs the cow then the cow needs the bear.
The cow needs the bear.
@0: The bear needs the cow.[(triple1)] The cow eats the bear.[(triple2)] The cow needs the bear.[(triple3 OR ((triple1) -> rule3))] @1: The cow is green.[(((triple2) -> rule2))]