The bald eagle sees the dog. The dog is kind. The lion sees the dog. If the lion likes the dog then the lion is red. If the bald eagle chases the lion and the bald eagle likes the lion then the bald eagle chases the dog. If something chases the lion and the lion is red then the lion chases the bald eagle. If something is young and it sees the lion then the lion chases the bald eagle. If something sees the dog then the dog sees the lion. If something likes the dog and it chases the bald eagle then it chases the dog.
The bald eagle does not see the dog.
@0: The bald eagle sees the dog.[(triple1)] The dog is kind.[(triple2)] The lion sees the dog.[(triple3)] @1: The dog sees the lion.[(((triple1) -> rule5) OR ((triple3) -> rule5))]