The cow sees the dog. The dog sees the lion. The lion does not chase the dog. If something sees the lion then it sees the cow. If something eats the lion and it eats the dog then it eats the cow. If something is red and it does not chase the cow then the cow sees the dog. Red things are not kind. Green things are kind. If something sees the cow then the cow is red.
The lion does not chase the dog.
@0: The cow sees the dog.[(triple1)] The dog sees the lion.[(triple2)] The lion does not chase the dog.[(triple3)] @1: The dog sees the cow.[(((triple2) -> rule1))] @2: The cow is red.[(((((triple2) -> rule1)) -> rule6))] @3: The cow is not kind.[(((((((triple2) -> rule1)) -> rule6)) -> rule4))]