The bald eagle sees the bear. The bear is nice. The dog is nice. The squirrel likes the bear. If someone sees the bear then the bear does not like the squirrel.
The dog is kind.
@0: The bald eagle sees the bear.[(triple1)] The bear is nice.[(triple2)] The dog is nice.[(triple3)] The squirrel likes the bear.[(triple4)] @1: The bear does not like the squirrel.[(((triple1) -> rule1))]