Anne is furry. Dave is white. Gary is green. If Gary is nice then Gary is blue. If someone is furry then they are not blue. Nice people are blue. If Anne is green and Anne is not kind then Anne is furry. Green people are furry. If Anne is furry and Anne is kind then Anne is blue. If someone is nice and not furry then they are young. All kind people are not young.
Gary is not green.
@0: Anne is furry.[(triple1)] Dave is white.[(triple2)] Gary is green.[(triple3)] @1: Anne is not blue.[(((triple1) -> rule2))] Gary is furry.[(((triple3) -> rule5))] @2: Gary is not blue.[(((((triple3) -> rule5)) -> rule2))]