The bald eagle is not round. The cat is blue. The dog is red. The lion visits the dog. If something visits the cat and it chases the dog then it does not chase the cat. If something is round then it visits the dog. If something is red then it chases the lion.
The dog visits the dog.
@0: The bald eagle is not round.[(triple1)] The cat is blue.[(triple2)] The dog is red.[(triple3)] The lion visits the dog.[(triple4)] @1: The dog chases the lion.[(((triple3) -> rule3))]