Anne is smart. Harry is green. Smart things are quiet. All furry, round things are quiet. If something is smart and green then it is furry. All quiet things are green. Smart, green things are not cold. If something is furry and quiet then it is not cold. If something is quiet and not nice then it is cold. If something is green then it is round.
Anne is quiet.
@0: Anne is smart.[(triple1)] Harry is green.[(triple2)] @1: Anne is quiet.[(((triple1) -> rule1))] Harry is round.[(((triple2) -> rule8))] @2: Anne is green.[(((((triple1) -> rule1)) -> rule4))] @3: Anne is furry.[(((triple1 ((((triple1) -> rule1)) -> rule4)) -> rule3))] Anne is not cold.[(((triple1 ((((triple1) -> rule1)) -> rule4)) -> rule5) OR ((((triple1 ((((triple1) -> rule1)) -> rule4)) -> rule3) ((triple1) -> rule1)) -> rule6))] Anne is round.[(((((((triple1) -> rule1)) -> rule4)) -> rule8))]