Gary is quiet. Gary is white. Gary is not young. All quiet people are not nice. Nice people are not green. If Gary is nice then Gary is not kind. If Gary is not nice then Gary is green. Green people are not kind. All green people are not kind.
Gary is kind.
@0: Gary is not young.[(triple3)] Gary is quiet.[(triple1)] Gary is white.[(triple2)] @1: Gary is not nice.[(((triple1) -> rule1))] @2: Gary is green.[(((((triple1) -> rule1)) -> rule4))] @3: Gary is not kind.[(((((((triple1) -> rule1)) -> rule4)) -> rule5) OR ((((((triple1) -> rule1)) -> rule4)) -> rule6))]