Anne is white. Anne is young. Dave is nice. Dave is red. Dave is round. Fiona is red. Gary is nice. All green people are white. If someone is green and red then they are round. If someone is red and nice then they are furry. Nice people are round. If someone is round then they are red. Round, nice people are red.
Gary is not red.