Gary is quiet. Quiet things are furry. All big things are not furry. Furry things are green. If something is big and not blue then it is quiet. All quiet, green things are young. If Gary is blue then Gary is not quiet. If Gary is blue then Gary is not green. If something is big and not young then it is not red.
Gary is green.
@0: Gary is quiet.[(triple1)] @1: Gary is furry.[(((triple1) -> rule1))] @2: Gary is green.[(((((triple1) -> rule1)) -> rule3))] @3: Gary is young.[(((triple1 ((((triple1) -> rule1)) -> rule3)) -> rule5))]