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.
Erin is not young.
@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))]