The bald eagle chases the dog. The bald eagle is kind. The bald eagle sees the tiger. The bear chases the dog. The bear is blue. The bear likes the tiger. The bear sees the bald eagle. The dog is blue. The dog is kind. The dog sees the bear. The tiger sees the bald eagle. The tiger sees the bear. If someone sees the bear and they like the bear then they are nice. If someone chases the bald eagle and they like the dog then they see the bald eagle. If someone is rough then they chase the bald eagle. If someone sees the bear then they are kind. If someone sees the tiger then the tiger likes the bald eagle. If someone likes the tiger then the tiger is kind.
The dog sees the bear.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle sees the tiger.[(triple3)] The bear chases the dog.[(triple4)] The bear is blue.[(triple5)] The bear likes the tiger.[(triple6)] The bear sees the bald eagle.[(triple7)] The dog is blue.[(triple8)] The dog is kind.[(triple9 OR ((triple10) -> rule4))] The dog sees the bear.[(triple10)] The tiger sees the bald eagle.[(triple11)] The tiger sees the bear.[(triple12)] @1: The tiger is kind.[(((triple12) -> rule4) OR ((triple6) -> rule6))] The tiger likes the bald eagle.[(((triple3) -> rule5))]