The bald eagle chases the dog. The bald eagle likes the mouse. The bear is blue. The bear likes the bald eagle. The bear likes the mouse. The bear sees the dog. The dog chases the bald eagle. The dog chases the mouse. The dog is kind. The dog sees the bald eagle. The mouse is young. The mouse sees the bear. If something likes the bear and it likes the dog then the dog sees the mouse. If something is young then it likes the bear. If the bear chases the bald eagle and the bear chases the mouse then the bear sees the dog. Blue things are young. If something is big then it sees the bear. If something is young and it likes the mouse then it chases the mouse.
The bald eagle sees the bear.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle likes the mouse.[(triple2)] The bear is blue.[(triple3)] The bear likes the bald eagle.[(triple4)] The bear likes the mouse.[(triple5)] The bear sees the dog.[(triple6)] The dog chases the bald eagle.[(triple7)] The dog chases the mouse.[(triple8)] The dog is kind.[(triple9)] The dog sees the bald eagle.[(triple10)] The mouse is young.[(triple11)] The mouse sees the bear.[(triple12)] @1: The bear is young.[(((triple3) -> rule4))] The mouse likes the bear.[(((triple11) -> rule2))] @2: The bear chases the mouse.[(((((triple3) -> rule4) triple5) -> rule6))] The bear likes the bear.[(((((triple3) -> rule4)) -> rule2))]