The cow chases the dog. The dog visits the cow. If someone needs the cow then the cow visits the dog. If someone is young then they do not visit the dog. If someone chases the dog then they need the cow. If someone visits the dog then they are blue. If someone needs the dog and they do not visit the cow then they are nice. If someone chases the dog and they do not visit the dog then they are not cold.
The cow does not need the dog.
@0: The cow chases the dog.[(triple1)] The dog visits the cow.[(triple2)] @1: The cow needs the cow.[(((triple1) -> rule3))] @2: The cow visits the dog.[(((((triple1) -> rule3)) -> rule1))] @3: The cow is blue.[(((((((triple1) -> rule3)) -> rule1)) -> rule4))]