The cow visits the dog. The dog is red. The dog visits the cow. If someone is red then they do not chase the cow. If someone is young then they like the dog. If someone is round then they like the dog. If someone likes the cow then they do not like the dog. If someone likes the cow and they are round then the cow is round. If the dog visits the cow and the dog likes the cow then the dog is young. If the cow chases the dog and the cow is not kind then the dog does not like the cow. If someone chases the cow and they are kind then they are not young.
The dog is not young.
@0: The cow visits the dog.[(triple1)] The dog is red.[(triple2)] The dog visits the cow.[(triple3)] @1: The dog does not chase the cow.[(((triple2) -> rule1))]