The bald eagle sees the dog. The dog is nice. The mouse is round. The tiger sees the bald eagle. All round people are kind.
The mouse is round.
@0: The bald eagle sees the dog.[(triple1)] The dog is nice.[(triple2)] The mouse is round.[(triple3)] The tiger sees the bald eagle.[(triple4)] @1: The mouse is kind.[(((triple3) -> rule1))]