Anne is furry. Dave is cold. Gary is not smart. Harry is white. All cold, white things are green. If something is white then it is green. If something is white then it is round. Round things are white. If Gary is round and Gary is not young then Gary is not green. If something is cold then it is furry. All green, white things are smart. If Gary is round and Gary is not smart then Gary is furry.
Gary is not young.
@0: Anne is furry.[(triple1)] Dave is cold.[(triple2)] Gary is not smart.[(triple3)] Harry is white.[(triple4)] @1: Dave is furry.[(((triple2) -> rule6))] Harry is green.[(((triple4) -> rule2))] Harry is round.[(((triple4) -> rule3))] @2: Harry is smart.[(((((triple4) -> rule2) triple4) -> rule7))]