The bald eagle chases the cat. The bald eagle is kind. The bald eagle sees the dog. The cat is rough. The dog is blue. The dog is red. The dog is rough. The dog sees the cat. The dog does not see the lion. The lion sees the bald eagle. If something chases the cat then the cat chases the dog. If something chases the dog then it eats the bald eagle. If something is kind and it sees the lion then it is not red. If something chases the dog then the dog chases the bald eagle. If the dog eats the bald eagle then the dog sees the bald eagle. If something is cold then it sees the lion. If something sees the cat and it is blue then the cat is kind. If something is blue and it chases the bald eagle then the bald eagle is cold.
The bald eagle does not eat the dog.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle sees the dog.[(triple3)] The cat is rough.[(triple4)] The dog does not see the lion.[(triple9)] The dog is blue.[(triple5)] The dog is red.[(triple6)] The dog is rough.[(triple7)] The dog sees the cat.[(triple8)] The lion sees the bald eagle.[(triple10)] @1: The cat chases the dog.[(((triple1) -> rule1))] The cat is kind.[(((triple8 triple5) -> rule7))] @2: The cat eats the bald eagle.[(((((triple1) -> rule1)) -> rule2))] The dog chases the bald eagle.[(((((triple1) -> rule1)) -> rule4))] @3: The bald eagle is cold.[(((triple5 ((((triple1) -> rule1)) -> rule4)) -> rule8))] @4: The bald eagle sees the lion.[(((((triple5 ((((triple1) -> rule1)) -> rule4)) -> rule8)) -> rule6))] @5: The bald eagle is not red.[(((triple2 ((((triple5 ((((triple1) -> rule1)) -> rule4)) -> rule8)) -> rule6)) -> rule3))]