Harry is kind. Harry is smart. Harry is young. All smart, cold things are furry. Cold things are furry. If Harry is furry and Harry is cold then Harry is young. All young things are quiet. All furry things are blue. All smart, young things are cold. If something is blue and smart then it is cold. If something is smart and young then it is cold.
Harry is not furry.
@0: Harry is kind.[(triple1)] Harry is smart.[(triple2)] Harry is young.[(triple3)] @1: Harry is cold.[(((triple2 triple3) -> rule6) OR ((triple2 triple3) -> rule8))] Harry is quiet.[(((triple3) -> rule4))] @2: Harry is furry.[(((((triple2 triple3) -> rule6)) -> rule2) OR ((((triple2 triple3) -> rule8)) -> rule2) OR ((triple2 ((triple2 triple3) -> rule6)) -> rule1) OR ((triple2 ((triple2 triple3) -> rule8)) -> rule1))] @3: Harry is blue.[(((((((triple2 triple3) -> rule6)) -> rule2)) -> rule5) OR ((((((triple2 triple3) -> rule8)) -> rule2)) -> rule5) OR ((((triple2 ((triple2 triple3) -> rule6)) -> rule1)) -> rule5) OR ((((triple2 ((triple2 triple3) -> rule8)) -> rule1)) -> rule5))]