The bald eagle chases the dog. The bald eagle is big. The bald eagle is young. The cat chases the bald eagle. The cat eats the dog. The cat is round. The cat is young. The dog does not chase the cat. The dog eats the bald eagle. The dog eats the cat. The dog is big. The dog is young. If something eats the bald eagle and the bald eagle eats the dog then it is not big. If something is big then it chases the dog. If something eats the cat and the cat is round then it eats the bald eagle. If the bald eagle is big and the bald eagle chases the cat then the bald eagle does not visit the dog. If something visits the bald eagle then the bald eagle eats the cat. If something is big then it visits the bald eagle. If something is blue then it visits the dog. If something eats the cat and the cat is not big then it chases the bald eagle.
The cat is young.
@0: The bald eagle chases the dog.[(triple1 OR ((triple2) -> rule2))] The bald eagle is big.[(triple2)] The bald eagle is young.[(triple3)] The cat chases the bald eagle.[(triple4)] The cat eats the dog.[(triple5)] The cat is round.[(triple6)] The cat is young.[(triple7)] The dog does not chase the cat.[(triple8)] The dog eats the bald eagle.[(triple9 OR ((triple10 triple6) -> rule3))] The dog eats the cat.[(triple10)] The dog is big.[(triple11)] The dog is young.[(triple12)] @1: The bald eagle visits the bald eagle.[(((triple2) -> rule6))] The dog chases the dog.[(((triple11) -> rule2))] The dog visits the bald eagle.[(((triple11) -> rule6))] @2: The bald eagle eats the cat.[(((((triple11) -> rule6)) -> rule5) OR ((((triple2) -> rule6)) -> rule5))] @3: The bald eagle eats the bald eagle.[(((((((triple11) -> rule6)) -> rule5) triple6) -> rule3) OR ((((((triple2) -> rule6)) -> rule5) triple6) -> rule3))]