Harry is furry. Harry is quiet. Harry is young. Rough people are quiet. All cold people are white. If someone is young and furry then they are white. If Harry is cold and Harry is rough then Harry is nice. All furry, cold people are white. White people are cold. Rough people are quiet. If someone is quiet and cold then they are nice.
Harry is not cold.
@0: Harry is furry.[(triple1)] Harry is quiet.[(triple2)] Harry is young.[(triple3)] @1: Harry is white.[(((triple3 triple1) -> rule3))] @2: Harry is cold.[(((((triple3 triple1) -> rule3)) -> rule6))] @3: Harry is nice.[(((triple2 ((((triple3 triple1) -> rule3)) -> rule6)) -> rule8))]