Anne is furry. Charlie is cold. Fiona is green. If someone is green then they are young.
Anne is furry.
@0: Anne is furry.[(triple1)] Charlie is cold.[(triple2)] Fiona is green.[(triple3)] @1: Fiona is young.[(((triple3) -> rule1))]