The bald eagle is kind. The bald eagle likes the cow. The bald eagle sees the tiger. The bear chases the bald eagle. The cow chases the bear. The cow chases the tiger. The tiger chases the bear. If the tiger is big and the tiger chases the bear then the bear is green. If the tiger sees the bald eagle and the bald eagle likes the cow then the tiger likes the bear. If something is kind then it likes the bald eagle. If something is red and it chases the cow then the cow sees the bald eagle. If the bear chases the tiger then the tiger sees the cow. If something chases the bear and the bear is blue then it is green. If something is green and big then it chases the bear. If something is big and it sees the bald eagle then the bald eagle likes the cow.
The tiger likes the tiger.
@0: The bald eagle is kind.[(triple1)] The bald eagle likes the cow.[(triple2)] The bald eagle sees the tiger.[(triple3)] The bear chases the bald eagle.[(triple4)] The cow chases the bear.[(triple5)] The cow chases the tiger.[(triple6)] The tiger chases the bear.[(triple7)] @1: The bald eagle likes the bald eagle.[(((triple1) -> rule3))]