The bald eagle is kind. The bald eagle is red. The bald eagle needs the dog. The bald eagle sees the dog. The bald eagle visits the dog. The dog is blue. The dog is cold. The dog needs the bald eagle. The dog sees the bald eagle. The dog visits the bald eagle. If the bald eagle sees the dog and the dog needs the bald eagle then the dog is red. If something is green then it needs the dog. If something visits the bald eagle and it visits the dog then it is green. If the bald eagle is green and the bald eagle needs the dog then the dog needs the bald eagle. If something visits the dog and it sees the bald eagle then the bald eagle sees the dog. If something is cold and it needs the bald eagle then it is kind. If the bald eagle visits the dog and the dog needs the bald eagle then the bald eagle needs the dog. If something is blue then it visits the dog.
The dog does not need the dog.
@0: The bald eagle is kind.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle needs the dog.[(triple3 OR ((triple5 triple8) -> rule7))] The bald eagle sees the dog.[(triple4 OR ((((triple6) -> rule8) triple9) -> rule5))] The bald eagle visits the dog.[(triple5)] The dog is blue.[(triple6)] The dog is cold.[(triple7)] The dog needs the bald eagle.[(triple8)] The dog sees the bald eagle.[(triple9)] The dog visits the bald eagle.[(triple10)] @1: The dog is kind.[(((triple7 triple8) -> rule6))] The dog is red.[(((triple4 triple8) -> rule1) OR ((((((triple6) -> rule8) triple9) -> rule5) triple8) -> rule1))] The dog visits the dog.[(((triple6) -> rule8))] @2: The dog is green.[(((triple10 ((triple6) -> rule8)) -> rule3))] @3: The dog needs the dog.[(((((triple10 ((triple6) -> rule8)) -> rule3)) -> rule2))]