Gary is not blue. Gary is furry. Gary is rough. If someone is cold and not furry then they are young. If someone is rough and red then they are young. If someone is furry and cold then they are red. All furry, green people are blue. Rough people are cold. All cold, red people are not green.
Gary is rough.
@0: Gary is furry.[(triple2)] Gary is not blue.[(triple1)] Gary is rough.[(triple3)] @1: Gary is cold.[(((triple3) -> rule5))] @2: Gary is red.[(((triple2 ((triple3) -> rule5)) -> rule3))] @3: Gary is not green.[(((((triple3) -> rule5) ((triple2 ((triple3) -> rule5)) -> rule3)) -> rule6))] Gary is young.[(((triple3 ((triple2 ((triple3) -> rule5)) -> rule3)) -> rule2))]