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 squirrel eats the bald eagle.
@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))]