The cow is kind. The lion eats the cow. The tiger likes the lion. If someone is blue and they do not like the cow then the cow eats the tiger. All kind people are young. If the lion eats the cow and the cow is round then the cow is cold.
The tiger does not like the lion.
@0: The cow is kind.[(triple1)] The lion eats the cow.[(triple2)] The tiger likes the lion.[(triple3)] @1: The cow is young.[(((triple1) -> rule2))]