The cat is green. The lion needs the cat. The squirrel sees the tiger. The tiger is young. If someone sees the tiger and they are nice then they visit the squirrel. If someone needs the cat then the cat visits the tiger.
The lion needs the cat.
@0: The cat is green.[(triple1)] The lion needs the cat.[(triple2)] The squirrel sees the tiger.[(triple3)] The tiger is young.[(triple4)] @1: The cat visits the tiger.[(((triple2) -> rule2))]