Anne is red. Gary is blue. Harry is kind. All red things are blue. All smart things are blue. If Harry is furry then Harry is smart. If Anne is not smart and Anne is not quiet then Anne is big. All kind things are furry. If something is furry and not quiet then it is red.
Anne is smart.
@0: Anne is red.[(triple1)] Gary is blue.[(triple2)] Harry is kind.[(triple3)] @1: Anne is blue.[(((triple1) -> rule1))] Harry is furry.[(((triple3) -> rule5))] @2: Harry is smart.[(((((triple3) -> rule5)) -> rule3))] @3: Harry is blue.[(((((((triple3) -> rule5)) -> rule3)) -> rule2))]