The cow chases the dog. The cow chases the tiger. The cow eats the dog. The cow is rough. The cow needs the dog. The cow needs the tiger. The dog chases the cow. The dog chases the tiger. The dog eats the cow. The dog eats the tiger. The dog is blue. The dog is green. The dog needs the cow. The tiger chases the cow. The tiger is blue. The tiger is young. If something chases the dog and the dog chases the tiger then it eats the cow.
The dog is blue.
@0: The cow chases the dog.[(triple1)] The cow chases the tiger.[(triple2)] The cow eats the dog.[(triple3)] The cow is rough.[(triple4)] The cow needs the dog.[(triple5)] The cow needs the tiger.[(triple6)] The dog chases the cow.[(triple7)] The dog chases the tiger.[(triple8)] The dog eats the cow.[(triple9)] The dog eats the tiger.[(triple10)] The dog is blue.[(triple11)] The dog is green.[(triple12)] The dog needs the cow.[(triple13)] The tiger chases the cow.[(triple14)] The tiger is blue.[(triple15)] The tiger is young.[(triple16)] @1: The cow eats the cow.[(((triple1 triple8) -> rule1))]