Anne is green. Bob is blue. Dave is blue. Gary is red. If Dave is green and Dave is white then Dave is young. If something is green and not white then it is not young. If something is red then it is not young. White things are young. If something is red then it is not young. Blue things are not green. Smart things are nice. Red, blue things are smart.
Gary is red.
@0: Anne is green.[(triple1)] Bob is blue.[(triple2)] Dave is blue.[(triple3)] Gary is red.[(triple4)] @1: Bob is not green.[(((triple2) -> rule6))] Dave is not green.[(((triple3) -> rule6))] Gary is not young.[(((triple4) -> rule3) OR ((triple4) -> rule5))]