The cow eats the dog. The dog eats the tiger. The tiger likes the dog. If something chases the dog and the dog eats the tiger then it is young. If something eats the dog and the dog is blue then it is blue. If something is young and it chases the tiger then the tiger eats the dog. If something eats the dog then it is kind. If something is red and green then it chases the tiger. If something is young then it chases the tiger. If something is kind and young then it chases the dog. If the tiger chases the cow then the tiger eats the dog.
The dog does not eat the tiger.
@0: The cow eats the dog.[(triple1)] The dog eats the tiger.[(triple2)] The tiger likes the dog.[(triple3)] @1: The cow is kind.[(((triple1) -> rule4))]