The cow chases the tiger. The cow is red. The cow is rough. The cow visits the dog. The dog chases the tiger. The dog is not rough. The dog likes the cow. The dog visits the cow. The dog visits the tiger. The tiger chases the cow. The tiger is cold. The tiger is red. The tiger is not young. The tiger likes the cow. The tiger does not visit the cow. The tiger visits the dog. If someone likes the cow and the cow does not visit the tiger then they visit the cow. If someone visits the tiger and the tiger is cold then the tiger is rough.
The tiger is young.
@0: The cow chases the tiger.[(triple1)] The cow is red.[(triple2)] The cow is rough.[(triple3)] The cow visits the dog.[(triple4)] The dog chases the tiger.[(triple5)] The dog is not rough.[(triple6)] The dog likes the cow.[(triple7)] The dog visits the cow.[(triple8)] The dog visits the tiger.[(triple9)] The tiger chases the cow.[(triple10)] The tiger does not visit the cow.[(triple15)] The tiger is cold.[(triple11)] The tiger is not young.[(triple13)] The tiger is red.[(triple12)] The tiger likes the cow.[(triple14)] The tiger visits the dog.[(triple16)] @1: The tiger is rough.[(((triple9 triple11) -> rule2))]