The bald eagle is round. The dog is kind. The lion visits the bald eagle. The mouse chases the lion. If something chases the lion then it visits the mouse. If something chases the bald eagle and the bald eagle visits the dog then the bald eagle is kind. If something eats the bald eagle and the bald eagle eats the dog then the dog chases the bald eagle.
The dog is kind.
@0: The bald eagle is round.[(triple1)] The dog is kind.[(triple2)] The lion visits the bald eagle.[(triple3)] The mouse chases the lion.[(triple4)] @1: The mouse visits the mouse.[(((triple4) -> rule1))]