The bald eagle is blue. The dog sees the bald eagle. If the bald eagle sees the dog and the bald eagle is young then the dog sees the bald eagle. If someone is blue then they see the bald eagle. If someone needs the dog then the dog needs the bald eagle. If someone likes the bald eagle and the bald eagle needs the dog then the bald eagle sees the dog. If someone sees the bald eagle then the bald eagle needs the dog. If someone sees the dog and the dog sees the bald eagle then they like the dog.
The bald eagle is blue.
@0: The bald eagle is blue.[(triple1)] The dog sees the bald eagle.[(triple2)] @1: The bald eagle needs the dog.[(((triple2) -> rule5) OR ((((triple1) -> rule2)) -> rule5))] The bald eagle sees the bald eagle.[(((triple1) -> rule2))] @2: The dog needs the bald eagle.[(((((triple2) -> rule5)) -> rule3) OR ((((((triple1) -> rule2)) -> rule5)) -> rule3))]