The bald eagle chases the cat. The bald eagle sees the dog. The cat chases the dog. The cat eats the bald eagle. The cat eats the dog. The cat is red. The cat is round. The cat sees the bald eagle. The cat sees the dog. The dog chases the bald eagle. The dog chases the cat. The dog eats the cat. The dog is kind. The dog is nice. The dog is round. The dog sees the bald eagle. If the cat is nice then the cat eats the bald eagle. If something eats the bald eagle then it eats the dog. If something sees the bald eagle and the bald eagle is red then the bald eagle is nice. If something chases the bald eagle then it sees the dog. If something chases the bald eagle and it sees the bald eagle then the bald eagle sees the dog. If something eats the bald eagle and it sees the cat then it is round. If the cat eats the bald eagle then the bald eagle sees the cat. If something is nice and it sees the dog then it chases the dog.
The bald eagle does not see the dog.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle sees the dog.[(triple2 OR ((triple10 triple16) -> rule5))] The cat chases the dog.[(triple3)] The cat eats the bald eagle.[(triple4)] The cat eats the dog.[(triple5 OR ((triple4) -> rule2))] The cat is red.[(triple6)] The cat is round.[(triple7)] The cat sees the bald eagle.[(triple8)] The cat sees the dog.[(triple9)] The dog chases the bald eagle.[(triple10)] The dog chases the cat.[(triple11)] The dog eats the cat.[(triple12)] The dog is kind.[(triple13)] The dog is nice.[(triple14)] The dog is round.[(triple15)] The dog sees the bald eagle.[(triple16)] @1: The bald eagle sees the cat.[(((triple4) -> rule7))] The dog sees the dog.[(((triple10) -> rule4))] @2: The dog chases the dog.[(((triple14 ((triple10) -> rule4)) -> rule8))]