Anne is white. Bob is cold. Charlie is white. Erin is white. White things are young. If something is nice and not red then it is young.
Charlie is white.
@0: Anne is white.[(triple1)] Bob is cold.[(triple2)] Charlie is white.[(triple3)] Erin is white.[(triple4)] @1: Anne is young.[(((triple1) -> rule1))] Charlie is young.[(((triple3) -> rule1))] Erin is young.[(((triple4) -> rule1))]