The bald eagle is kind. The cat is nice. The cat is red. If something is red then it likes the bald eagle.
The bald eagle does not like the bald eagle.
@0: The bald eagle is kind.[(triple1)] The cat is nice.[(triple2)] The cat is red.[(triple3)] @1: The cat likes the bald eagle.[(((triple3) -> rule1))]