The bald eagle chases the dog. The bald eagle is kind. The bald eagle is red. The bald eagle sees the dog. The bald eagle does not visit the dog. The dog is kind. The dog visits the bald eagle. If the bald eagle chases the dog and the dog is not cold then the dog visits the bald eagle. If the dog sees the bald eagle and the bald eagle is round then the bald eagle sees the dog. If something is red then it sees the bald eagle.
The bald eagle does not visit the dog.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle does not visit the dog.[(triple5)] The bald eagle is kind.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle sees the dog.[(triple4)] The dog is kind.[(triple6)] The dog visits the bald eagle.[(triple7)] @1: The bald eagle sees the bald eagle.[(((triple3) -> rule3))]