The cat likes the lion. The dog likes the lion. The lion needs the cat. The squirrel likes the dog. If someone sees the lion then the lion is cold. If someone needs the cat then they are green.
The cat is young.
@0: The cat likes the lion.[(triple1)] The dog likes the lion.[(triple2)] The lion needs the cat.[(triple3)] The squirrel likes the dog.[(triple4)] @1: The lion is green.[(((triple3) -> rule2))]