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 tiger does not see the bald eagle.
@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))]