The bald eagle sees the dog. The dog sees the bald eagle. The tiger sees the bald eagle. If someone is nice then they are cold. If someone sees the dog then the dog sees the tiger. If someone sees the tiger then they are round. If someone needs the tiger then they are round. If someone sees the tiger and the tiger likes the dog then the dog needs the tiger. If someone is round then they do not like the tiger. If someone is round and they do not see the dog then they are kind. If someone sees the bald eagle and they do not need the bald eagle then the bald eagle sees the tiger.
The dog does not like the tiger.
@0: The bald eagle sees the dog.[(triple1)] The dog sees the bald eagle.[(triple2)] The tiger sees the bald eagle.[(triple3)] @1: The dog sees the tiger.[(((triple1) -> rule2))] @2: The dog is round.[(((((triple1) -> rule2)) -> rule3))] @3: The dog does not like the tiger.[(((((((triple1) -> rule2)) -> rule3)) -> rule6))]