The cow chases the tiger. The cow eats the tiger. The cow is red. The cow likes the tiger. The tiger chases the cow. The tiger eats the cow. The tiger is blue. The tiger is cold. The tiger is kind. The tiger is red. The tiger is round. The tiger likes the cow. If someone eats the tiger then they like the cow.
The tiger does not eat the cow.
@0: The cow chases the tiger.[(triple1)] The cow eats the tiger.[(triple2)] The cow is red.[(triple3)] The cow likes the tiger.[(triple4)] The tiger chases the cow.[(triple5)] The tiger eats the cow.[(triple6)] The tiger is blue.[(triple7)] The tiger is cold.[(triple8)] The tiger is kind.[(triple9)] The tiger is red.[(triple10)] The tiger is round.[(triple11)] The tiger likes the cow.[(triple12)] @1: The cow likes the cow.[(((triple2) -> rule1))]