Erin is blue. Harry is white. If Harry is white then Harry is young. All quiet things are blue. All young things are quiet. If Erin is not blue and Erin is not white then Erin is not kind. If Erin is kind and Erin is not young then Erin is round. If something is white and not kind then it is round.
Erin is young.
@0: Erin is blue.[(triple1)] Harry is white.[(triple2)] @1: Harry is young.[(((triple2) -> rule1))] @2: Harry is quiet.[(((((triple2) -> rule1)) -> rule3))] @3: Harry is blue.[(((((((triple2) -> rule1)) -> rule3)) -> rule2))]