The cow sees the rabbit. The dog chases the lion. The lion sees the rabbit. The rabbit needs the lion. If someone chases the lion then they need the cow. If someone is kind then they chase the dog. If someone chases the lion and they need the cow then they are cold. If someone needs the rabbit and they are cold then they chase the dog. If someone is blue then they chase the cow. If someone chases the lion then they see the dog.
The dog does not chase the dog.
@0: The cow sees the rabbit.[(triple1)] The dog chases the lion.[(triple2)] The lion sees the rabbit.[(triple3)] The rabbit needs the lion.[(triple4)] @1: The dog needs the cow.[(((triple2) -> rule1))] The dog sees the dog.[(((triple2) -> rule6))] @2: The dog is cold.[(((triple2 ((triple2) -> rule1)) -> rule3))]