Anne is furry. Harry is furry. All furry things are cold. All furry, big things are green. If something is cold then it is big.
Harry is not blue.
@0: Anne is furry.[(triple1)] Harry is furry.[(triple2)] @1: Anne is cold.[(((triple1) -> rule1))] Harry is cold.[(((triple2) -> rule1))] @2: Anne is big.[(((((triple1) -> rule1)) -> rule3))] Harry is big.[(((((triple2) -> rule1)) -> rule3))] @3: Anne is green.[(((triple1 ((((triple1) -> rule1)) -> rule3)) -> rule2))] Harry is green.[(((triple2 ((((triple2) -> rule1)) -> rule3)) -> rule2))]