The bald eagle is kind. The cat is nice. The cat is red. If something is red then it likes the bald eagle.
The cat is nice.
@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))]