Anne is blue. Anne is green. Anne is rough. Anne is round. Dave is blue. Dave is cold. Dave is green. Dave is rough. Dave is round. Dave is white. Dave is young. Gary is blue. Gary is cold. Gary is green. Gary is round. Round people are green. All green people are blue. Young people are cold. Round people are white. If Gary is cold then Gary is blue. If Gary is cold then Gary is young. If Anne is green and Anne is blue then Anne is young. All blue, rough people are young.
Dave is not blue.