Harry is cold. Harry is round. Harry is smart. Round things are green. All young, smart things are green. All white, green things are young. If Harry is not smart then Harry is not young. If Harry is smart and Harry is not cold then Harry is round. Cold, smart things are white. If something is young and green then it is quiet. If something is smart and not green then it is not quiet.
Harry is not white.
@0: Harry is cold.[(triple1)] Harry is round.[(triple2)] Harry is smart.[(triple3)] @1: Harry is green.[(((triple2) -> rule1))] Harry is white.[(((triple1 triple3) -> rule6))] @2: Harry is young.[(((((triple1 triple3) -> rule6) ((triple2) -> rule1)) -> rule3))] @3: Harry is quiet.[(((((((triple1 triple3) -> rule6) ((triple2) -> rule1)) -> rule3) ((triple2) -> rule1)) -> rule7))]