The bald eagle is round. The bald eagle sees the squirrel. The bald eagle visits the dog. The cat chases the bald eagle. The cat is green. The dog is young. The dog sees the bald eagle. The dog sees the cat. The dog sees the squirrel. The dog visits the squirrel. The squirrel is green. The squirrel is kind. The squirrel is young. The squirrel sees the dog. The squirrel visits the bald eagle. If something is young then it sees the dog. If something chases the squirrel then the squirrel sees the dog. If the bald eagle chases the cat then the cat chases the bald eagle. If something visits the bald eagle then it is kind. If something is blue and it chases the squirrel then it visits the bald eagle. If something sees the bald eagle then it is round. If something is blue and kind then it visits the cat. If something visits the squirrel then the squirrel is round.
The squirrel visits the bald eagle.
@0: The bald eagle is round.[(triple1)] The bald eagle sees the squirrel.[(triple2)] The bald eagle visits the dog.[(triple3)] The cat chases the bald eagle.[(triple4)] The cat is green.[(triple5)] The dog is young.[(triple6)] The dog sees the bald eagle.[(triple7)] The dog sees the cat.[(triple8)] The dog sees the squirrel.[(triple9)] The dog visits the squirrel.[(triple10)] The squirrel is green.[(triple11)] The squirrel is kind.[(triple12 OR ((triple15) -> rule4))] The squirrel is young.[(triple13)] The squirrel sees the dog.[(triple14 OR ((triple13) -> rule1))] The squirrel visits the bald eagle.[(triple15)] @1: The dog is round.[(((triple7) -> rule6))] The dog sees the dog.[(((triple6) -> rule1))] The squirrel is round.[(((triple10) -> rule8))]