Gary is rough. If Gary is young and Gary is blue then Gary is smart. Smart, blue things are furry. All rough things are not red. If something is furry and not rough then it is red. If something is rough and red then it is smart. All rough things are smart. If Gary is smart then Gary is blue. All smart things are young.
Gary is not rough.
@0: Gary is rough.[(triple1)] @1: Gary is not red.[(((triple1) -> rule3))] Gary is smart.[(((triple1) -> rule6))] @2: Gary is blue.[(((((triple1) -> rule6)) -> rule7))] Gary is young.[(((((triple1) -> rule6)) -> rule8))] @3: Gary is furry.[(((((triple1) -> rule6) ((((triple1) -> rule6)) -> rule7)) -> rule2))]