The bald eagle chases the cow. The bald eagle chases the dog. The bald eagle is round. The bald eagle likes the tiger. The cow chases the tiger. The cow is blue. The cow likes the dog. The dog chases the tiger. The dog sees the cow. The dog sees the tiger. The tiger chases the cow. The tiger chases the dog. All round, kind things are blue. If something is round then it sees the cow. If something likes the tiger and the tiger sees the cow then it sees the dog.
The bald eagle is nice.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle chases the dog.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle likes the tiger.[(triple4)] The cow chases the tiger.[(triple5)] The cow is blue.[(triple6)] The cow likes the dog.[(triple7)] The dog chases the tiger.[(triple8)] The dog sees the cow.[(triple9)] The dog sees the tiger.[(triple10)] The tiger chases the cow.[(triple11)] The tiger chases the dog.[(triple12)] @1: The bald eagle sees the cow.[(((triple3) -> rule2))]