Anne is furry. Bob is smart. Gary is round. All furry things are blue. Rough things are red. If Gary is round and Gary is young then Gary is blue. If something is young then it is rough. Round things are young. All rough, blue things are smart.
Bob is not rough.
@0: Anne is furry.[(triple1)] Bob is smart.[(triple2)] Gary is round.[(triple3)] @1: Anne is blue.[(((triple1) -> rule1))] Gary is young.[(((triple3) -> rule5))] @2: Gary is blue.[(((triple3 ((triple3) -> rule5)) -> rule3))] Gary is rough.[(((((triple3) -> rule5)) -> rule4))] @3: Gary is red.[(((((((triple3) -> rule5)) -> rule4)) -> rule2))] Gary is smart.[(((((((triple3) -> rule5)) -> rule4) ((triple3 ((triple3) -> rule5)) -> rule3)) -> rule6))]