The cow is green. The dog is cold. The lion likes the squirrel. The squirrel eats the lion. If something is cold then it likes the lion.
The lion likes the squirrel.
@0: The cow is green.[(triple1)] The dog is cold.[(triple2)] The lion likes the squirrel.[(triple3)] The squirrel eats the lion.[(triple4)] @1: The dog likes the lion.[(((triple2) -> rule1))]