The bald eagle does not chase the dog. The bald eagle does not eat the dog. The bald eagle is round. The bald eagle does not visit the dog. The dog is young. The dog visits the tiger. The squirrel chases the dog. The squirrel chases the tiger. The squirrel does not eat the bald eagle. The squirrel eats the dog. The squirrel is green. The squirrel is not round. The tiger chases the bald eagle. The tiger is red. The tiger does not visit the squirrel. If something is blue then it is round. If something visits the tiger then it is blue. If something eats the dog and the dog eats the tiger then it chases the bald eagle. If something visits the tiger and it is red then the tiger is not young. If something visits the tiger and it chases the squirrel then the tiger does not visit the bald eagle. If the tiger eats the bald eagle and the bald eagle eats the tiger then the tiger is not red.
The squirrel does not visit the squirrel.
@0: The bald eagle does not chase the dog.[(triple1)] The bald eagle does not eat the dog.[(triple2)] The bald eagle does not visit the dog.[(triple4)] The bald eagle is round.[(triple3)] The dog is young.[(triple5)] The dog visits the tiger.[(triple6)] The squirrel chases the dog.[(triple7)] The squirrel chases the tiger.[(triple8)] The squirrel does not eat the bald eagle.[(triple9)] The squirrel eats the dog.[(triple10)] The squirrel is green.[(triple11)] The squirrel is not round.[(triple12)] The tiger chases the bald eagle.[(triple13)] The tiger does not visit the squirrel.[(triple15)] The tiger is red.[(triple14)] @1: The dog is blue.[(((triple6) -> rule2))] @2: The dog is round.[(((((triple6) -> rule2)) -> rule1))]