The bald eagle eats the cow. The bald eagle is red. The cow likes the bald eagle. If someone likes the bald eagle then they are kind.
The bald eagle is not kind.
@0: The bald eagle eats the cow.[(triple1)] The bald eagle is red.[(triple2)] The cow likes the bald eagle.[(triple3)] @1: The cow is kind.[(((triple3) -> rule1))]