The bald eagle chases the dog. The bald eagle chases the tiger. The dog chases the bald eagle. The dog is blue. The dog is cold. The dog is red. The dog is round. The dog is young. The tiger chases the dog. The tiger is round. The tiger likes the bald eagle. The tiger sees the bald eagle. If someone chases the bald eagle and they chase the tiger then they see the bald eagle. If the bald eagle sees the tiger and the tiger is young then the bald eagle chases the tiger. If the tiger likes the dog and the dog is cold then the dog sees the bald eagle. If the dog is red and the dog sees the bald eagle then the bald eagle does not like the tiger. If someone is blue then they chase the tiger. If the dog chases the tiger and the dog sees the tiger then the tiger does not like the bald eagle. If someone chases the bald eagle and they do not like the tiger then the tiger is red. If someone is round and they do not see the bald eagle then the bald eagle sees the dog.
The bald eagle sees the dog.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle chases the tiger.[(triple2)] The dog chases the bald eagle.[(triple3)] The dog is blue.[(triple4)] The dog is cold.[(triple5)] The dog is red.[(triple6)] The dog is round.[(triple7)] The dog is young.[(triple8)] The tiger chases the dog.[(triple9)] The tiger is round.[(triple10)] The tiger likes the bald eagle.[(triple11)] The tiger sees the bald eagle.[(triple12)] @1: The dog chases the tiger.[(((triple4) -> rule5))] @2: The dog sees the bald eagle.[(((triple3 ((triple4) -> rule5)) -> rule1))] @3: The bald eagle does not like the tiger.[(((triple6 ((triple3 ((triple4) -> rule5)) -> rule1)) -> rule4))]