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