The bald eagle is kind. The cow visits the bald eagle. The dog visits the squirrel. The squirrel chases the cow. If the squirrel chases the cow then the squirrel is young. If the squirrel visits the bald eagle and the bald eagle is kind then the bald eagle is green.
The bald eagle is not kind.
@0: The bald eagle is kind.[(triple1)] The cow visits the bald eagle.[(triple2)] The dog visits the squirrel.[(triple3)] The squirrel chases the cow.[(triple4)] @1: The squirrel is young.[(((triple4) -> rule1))]