Erin is white. Gary is furry. Harry is kind. Smart things are cold. If something is kind then it is smart. All cold things are furry.
Harry is nice.
@0: Erin is white.[(triple1)] Gary is furry.[(triple2)] Harry is kind.[(triple3)] @1: Harry is smart.[(((triple3) -> rule2))] @2: Harry is cold.[(((((triple3) -> rule2)) -> rule1))] @3: Harry is furry.[(((((((triple3) -> rule2)) -> rule1)) -> rule3))]