Anne is blue. Anne is green. Anne is smart. Anne is young. Charlie is blue. Charlie is rough. Dave is blue. Dave is green. Gary is blue. Gary is rough. If someone is green and smart then they are white. Red people are white.
Anne is not green.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is smart.[(triple3)] Anne is young.[(triple4)] Charlie is blue.[(triple5)] Charlie is rough.[(triple6)] Dave is blue.[(triple7)] Dave is green.[(triple8)] Gary is blue.[(triple9)] Gary is rough.[(triple10)] @1: Anne is white.[(((triple2 triple3) -> rule1))]