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 bald eagle is not kind.
@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))]