Anne is furry. Charlie is round. Erin is cold. Fiona is young. If something is cold then it is round. Round, young things are furry.
Anne is blue.
@0: Anne is furry.[(triple1)] Charlie is round.[(triple2)] Erin is cold.[(triple3)] Fiona is young.[(triple4)] @1: Erin is round.[(((triple3) -> rule1))]