Anne is red. Dave is green. Gary is smart. If something is kind then it is red. If Gary is smart then Gary is red. If something is red then it is not kind. If Gary is red then Gary is green. If something is green and red then it is young. If something is smart and not kind then it is young. Young things are furry. If something is smart and not red then it is furry.
Dave is not green.
@0: Anne is red.[(triple1)] Dave is green.[(triple2)] Gary is smart.[(triple3)] @1: Anne is not kind.[(((triple1) -> rule3))] Gary is red.[(((triple3) -> rule2))] @2: Gary is green.[(((((triple3) -> rule2)) -> rule4))] Gary is not kind.[(((((triple3) -> rule2)) -> rule3))] @3: Gary is young.[(((triple3 ((((triple3) -> rule2)) -> rule3)) -> rule6) OR ((((((triple3) -> rule2)) -> rule4) ((triple3) -> rule2)) -> rule5))] @4: Gary is furry.[(((((triple3 ((((triple3) -> rule2)) -> rule3)) -> rule6)) -> rule7) OR ((((((((triple3) -> rule2)) -> rule4) ((triple3) -> rule2)) -> rule5)) -> rule7))]