The bald eagle visits the dog. The bear chases the bald eagle. The bear is blue. The bear visits the dog. The dog chases the bald eagle. The dog chases the bear. The dog is blue. The dog is young. The dog sees the bear. The dog visits the bear. If someone chases the dog then the dog is nice. If someone chases the bald eagle then they visit the dog. If someone chases the bald eagle then they are kind. Kind, blue people are nice. If someone sees the bald eagle and they visit the dog then the dog chases the bear. If someone is kind and they visit the dog then they chase the bald eagle. If someone sees the dog and the dog chases the bald eagle then they do not visit the bear. If someone is nice then they see the bear.
The bald eagle is not kind.
@0: The bald eagle visits the dog.[(triple1)] The bear chases the bald eagle.[(triple2)] The bear is blue.[(triple3)] The bear visits the dog.[(triple4 OR ((triple2) -> rule2))] The dog chases the bald eagle.[(triple5)] The dog chases the bear.[(triple6)] The dog is blue.[(triple7)] The dog is young.[(triple8)] The dog sees the bear.[(triple9 OR ((((((triple5) -> rule3) triple7) -> rule4)) -> rule8))] The dog visits the bear.[(triple10)] @1: The bear is kind.[(((triple2) -> rule3))] The dog is kind.[(((triple5) -> rule3))] The dog visits the dog.[(((triple5) -> rule2))] @2: The bear is nice.[(((((triple2) -> rule3) triple3) -> rule4))] The dog is nice.[(((((triple5) -> rule3) triple7) -> rule4))] @3: The bear sees the bear.[(((((((triple2) -> rule3) triple3) -> rule4)) -> rule8))]