Charlie is not red. Gary is nice. If Gary is nice then Gary is red. All nice, red things are smart. If something is nice and not round then it is blue. All furry things are blue. All round things are young. All nice, blue things are young. Smart things are young. If something is round and not smart then it is not furry.
Gary is not young.
@0: Charlie is not red.[(triple1)] Gary is nice.[(triple2)] @1: Gary is red.[(((triple2) -> rule1))] @2: Gary is smart.[(((triple2 ((triple2) -> rule1)) -> rule2))] @3: Gary is young.[(((((triple2 ((triple2) -> rule1)) -> rule2)) -> rule7))]