Anne is red. Charlie is young. Erin is not young. Harry is white. If something is kind then it is young. All cold things are young. Red things are not young. If Harry is kind and Harry is nice then Harry is red. All white things are quiet. Quiet things are red.
Erin is young.
@0: Anne is red.[(triple1)] Charlie is young.[(triple2)] Erin is not young.[(triple3)] Harry is white.[(triple4)] @1: Anne is not young.[(((triple1) -> rule3))] Harry is quiet.[(((triple4) -> rule5))] @2: Harry is red.[(((((triple4) -> rule5)) -> rule6))] @3: Harry is not young.[(((((((triple4) -> rule5)) -> rule6)) -> rule3))]