The bald eagle is nice. The mouse likes the bald eagle. If something likes the mouse and the mouse visits the bald eagle then the bald eagle is round. If something visits the bald eagle then the bald eagle likes the mouse. If something is nice and it sees the bald eagle then the bald eagle sees the mouse. If something visits the mouse then the mouse is round. If something likes the bald eagle then it visits the bald eagle. If something likes the bald eagle and it sees the bald eagle then the bald eagle sees the mouse.
The bald eagle is not kind.
@0: The bald eagle is nice.[(triple1)] The mouse likes the bald eagle.[(triple2)] @1: The mouse visits the bald eagle.[(((triple2) -> rule5))] @2: The bald eagle likes the mouse.[(((((triple2) -> rule5)) -> rule2))] @3: The bald eagle is round.[(((((((triple2) -> rule5)) -> rule2) ((triple2) -> rule5)) -> rule1))]