The bald eagle is big. The bear eats the cat. The bear likes the bald eagle. The bear likes the cow. The cat chases the bald eagle. The cat likes the bear. The cow eats the cat. If someone is green then they chase the bear. All big, red people are nice. If someone is red and big then they like the cow. If someone likes the bear and the bear eats the cow then they eat the bald eagle. If someone chases the bald eagle then the bald eagle chases the cat. If the bear is nice then the bear is big.
The bald eagle is red.
@0: The bald eagle is big.[(triple1)] The bear eats the cat.[(triple2)] The bear likes the bald eagle.[(triple3)] The bear likes the cow.[(triple4)] The cat chases the bald eagle.[(triple5)] The cat likes the bear.[(triple6)] The cow eats the cat.[(triple7)] @1: The bald eagle chases the cat.[(((triple5) -> rule5))]