The bald eagle chases the bear. The bald eagle eats the dog. The bear chases the bald eagle. The bear is kind. The bear is nice. The bear likes the dog. The dog likes the bald eagle. If someone eats the dog and they like the bald eagle then they are red. If someone eats the dog then the dog is blue. If someone likes the bald eagle then they eat the bear. If someone likes the dog then they chase the bear. If someone is nice then they like the bear. If someone eats the bear and the bear chases the bald eagle then they are red. If someone is big and nice then they chase the dog. Red, blue people are big.
The dog chases the bald eagle.
@0: The bald eagle chases the bear.[(triple1)] The bald eagle eats the dog.[(triple2)] The bear chases the bald eagle.[(triple3)] The bear is kind.[(triple4)] The bear is nice.[(triple5)] The bear likes the dog.[(triple6)] The dog likes the bald eagle.[(triple7)] @1: The bear chases the bear.[(((triple6) -> rule4))] The bear likes the bear.[(((triple5) -> rule5))] The dog eats the bear.[(((triple7) -> rule3))] The dog is blue.[(((triple2) -> rule2))] @2: The dog is red.[(((((triple7) -> rule3) triple3) -> rule6))] @3: The dog is big.[(((((((triple7) -> rule3) triple3) -> rule6) ((triple2) -> rule2)) -> rule8))]