The bear sees the dog. The dog needs the lion. The lion sees the squirrel. The squirrel eats the dog. If something sees the dog then it is green. If something needs the squirrel and the squirrel is green then the squirrel needs the bear.
The dog is not green.
@0: The bear sees the dog.[(triple1)] The dog needs the lion.[(triple2)] The lion sees the squirrel.[(triple3)] The squirrel eats the dog.[(triple4)] @1: The bear is green.[(((triple1) -> rule1))]