The bald eagle chases the cow. The bald eagle is green. The bald eagle visits the cow. The cow is green. The cow is nice. The cow likes the bald eagle. The cow visits the bald eagle. If something chases the cow then the cow chases the bald eagle. If something is kind and it visits the cow then the cow is nice.
The bald eagle is not green.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle visits the cow.[(triple3)] The cow is green.[(triple4)] The cow is nice.[(triple5)] The cow likes the bald eagle.[(triple6)] The cow visits the bald eagle.[(triple7)] @1: The cow chases the bald eagle.[(((triple1) -> rule1))]