Anne is white. Charlie is kind. Erin is young. If something is smart and young then it is white. If something is cold then it is young. All kind, round things are cold. Young things are white. If something is kind then it is white. Young things are white.
Anne is not white.
@0: Anne is white.[(triple1)] Charlie is kind.[(triple2)] Erin is young.[(triple3)] @1: Charlie is white.[(((triple2) -> rule5))] Erin is white.[(((triple3) -> rule4) OR ((triple3) -> rule6))]