Dave is not red. Gary is blue. All kind people are blue. If someone is blue then they are green. If someone is kind then they are green. All kind people are not green. If someone is kind and not furry then they are big. All blue, young people are not big. All red, green people are young. Green people are young.
Gary is not green.
@0: Dave is not red.[(triple1)] Gary is blue.[(triple2)] @1: Gary is green.[(((triple2) -> rule2))] @2: Gary is young.[(((((triple2) -> rule2)) -> rule8))] @3: Gary is not big.[(((triple2 ((((triple2) -> rule2)) -> rule8)) -> rule6))]