The cow chases the lion. The cow chases the tiger. The cow is cold. The cow likes the dog. The dog chases the cow. The dog does not chase the lion. The dog is nice. The lion does not chase the cow. The lion chases the tiger. The lion is cold. The lion is kind. The lion does not like the cow. The lion does not like the dog. The lion sees the dog. The tiger likes the lion. If the cow chases the tiger then the tiger chases the cow.
The tiger is not big.
@0: The cow chases the lion.[(triple1)] The cow chases the tiger.[(triple2)] The cow is cold.[(triple3)] The cow likes the dog.[(triple4)] The dog chases the cow.[(triple5)] The dog does not chase the lion.[(triple6)] The dog is nice.[(triple7)] The lion chases the tiger.[(triple9)] The lion does not chase the cow.[(triple8)] The lion does not like the cow.[(triple12)] The lion does not like the dog.[(triple13)] The lion is cold.[(triple10)] The lion is kind.[(triple11)] The lion sees the dog.[(triple14)] The tiger likes the lion.[(triple15)] @1: The tiger chases the cow.[(((triple2) -> rule1))]