The bald eagle is young. The bald eagle sees the dog. The bald eagle visits the dog. The dog chases the squirrel. The dog is blue. The dog is cold. The dog is red. The dog is young. The dog sees the squirrel. The dog sees the tiger. The dog visits the squirrel. The squirrel sees the tiger. The squirrel visits the tiger. The tiger is blue. The tiger sees the dog. The tiger visits the bald eagle. If someone sees the dog then they visit the dog. If someone visits the dog and they see the bald eagle then they see the dog. If someone visits the dog and the dog is nice then the dog chases the bald eagle. If the bald eagle visits the squirrel and the bald eagle chases the squirrel then the squirrel is nice. If someone sees the bald eagle then the bald eagle is blue. If someone chases the squirrel and the squirrel sees the tiger then the squirrel is nice.
The bald eagle is young.
@0: The bald eagle is young.[(triple1)] The bald eagle sees the dog.[(triple2)] The bald eagle visits the dog.[(triple3 OR ((triple2) -> rule1))] The dog chases the squirrel.[(triple4)] The dog is blue.[(triple5)] The dog is cold.[(triple6)] The dog is red.[(triple7)] The dog is young.[(triple8)] The dog sees the squirrel.[(triple9)] The dog sees the tiger.[(triple10)] The dog visits the squirrel.[(triple11)] The squirrel sees the tiger.[(triple12)] The squirrel visits the tiger.[(triple13)] The tiger is blue.[(triple14)] The tiger sees the dog.[(triple15)] The tiger visits the bald eagle.[(triple16)] @1: The squirrel is nice.[(((triple4 triple12) -> rule6))] The tiger visits the dog.[(((triple15) -> rule1))]