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