The cow chases the tiger. The cow eats the tiger. The cow is blue. The cow is cold. The cow is green. The cow is rough. The cow is round. 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 green. The tiger is rough. The tiger is round. The tiger likes the cow. If someone likes the tiger then they eat the cow.
The tiger is not rough.
@0: The cow chases the tiger.[(triple1)] The cow eats the tiger.[(triple2)] The cow is blue.[(triple3)] The cow is cold.[(triple4)] The cow is green.[(triple5)] The cow is rough.[(triple6)] The cow is round.[(triple7)] The cow likes the tiger.[(triple8)] The tiger chases the cow.[(triple9)] The tiger eats the cow.[(triple10)] The tiger is blue.[(triple11)] The tiger is cold.[(triple12)] The tiger is green.[(triple13)] The tiger is rough.[(triple14)] The tiger is round.[(triple15)] The tiger likes the cow.[(triple16)] @1: The cow eats the cow.[(((triple8) -> rule1))]