The bald eagle sees the mouse. The cat is green. The mouse is nice. If someone is green then they like the cat.
The bald eagle likes the cat.
@0: The bald eagle sees the mouse.[(triple1)] The cat is green.[(triple2)] The mouse is nice.[(triple3)] @1: The cat likes the cat.[(((triple2) -> rule1))]