The bald eagle likes the squirrel. The bear does not eat the bald eagle. The squirrel likes the bear. If the squirrel likes the bear then the squirrel is blue.
The bald eagle does not like the squirrel.
@0: The bald eagle likes the squirrel.[(triple1)] The bear does not eat the bald eagle.[(triple2)] The squirrel likes the bear.[(triple3)] @1: The squirrel is blue.[(((triple3) -> rule1))]