Anne is green. Harry is cold. If Harry is young then Harry is kind. All furry people are kind. If someone is kind and furry then they are cold. If someone is green then they are young. If someone is smart and furry then they are not young. Green people are furry.
Harry is cold.
@0: Anne is green.[(triple1)] Harry is cold.[(triple2)] @1: Anne is furry.[(((triple1) -> rule6))] Anne is young.[(((triple1) -> rule4))] @2: Anne is kind.[(((((triple1) -> rule6)) -> rule2))] @3: Anne is cold.[(((((((triple1) -> rule6)) -> rule2) ((triple1) -> rule6)) -> rule3))]