The cow chases the tiger. The cow is cold. The tiger likes the cow. If something is cold then it eats the cow. If something chases the tiger and the tiger is not round then it does not chase the cow. If something likes the tiger and it chases the cow then the tiger likes the cow.
The cow eats the tiger.
@0: The cow chases the tiger.[(triple1)] The cow is cold.[(triple2)] The tiger likes the cow.[(triple3)] @1: The cow eats the cow.[(((triple2) -> rule1))]