Harry is green. Quiet things are round. Quiet things are round. All smart, green things are quiet. If something is green and furry then it is not quiet. Round, smart things are cold. Green things are smart.
Harry is not quiet.
@0: Harry is green.[(triple1)] @1: Harry is smart.[(((triple1) -> rule6))] @2: Harry is quiet.[(((((triple1) -> rule6) triple1) -> rule3))] @3: Harry is round.[(((((((triple1) -> rule6) triple1) -> rule3)) -> rule1) OR ((((((triple1) -> rule6) triple1) -> rule3)) -> rule2))] @4: Harry is cold.[(((((((((triple1) -> rule6) triple1) -> rule3)) -> rule1) ((triple1) -> rule6)) -> rule5) OR ((((((((triple1) -> rule6) triple1) -> rule3)) -> rule2) ((triple1) -> rule6)) -> rule5))]