Anne is cold. Anne is round. Harry is nice. All furry things are smart. If something is round and green then it is cold. All nice things are green. All cold, green things are young. If something is young and round then it is cold. All nice things are cold. Green, round things are nice. If something is green then it is furry.
Anne is not smart.
@0: Anne is cold.[(triple1)] Anne is round.[(triple2)] Harry is nice.[(triple3)] @1: Harry is cold.[(((triple3) -> rule6))] Harry is green.[(((triple3) -> rule3))] @2: Harry is furry.[(((((triple3) -> rule3)) -> rule8))] Harry is young.[(((((triple3) -> rule6) ((triple3) -> rule3)) -> rule4))] @3: Harry is smart.[(((((((triple3) -> rule3)) -> rule8)) -> rule1))]