Anne is green. Anne is rough. Anne is smart. Anne is young. Dave is green. Dave is nice. Gary is not green. Gary is rough. Gary is round. Gary is smart. Gary is white. Harry is round. If someone is nice and smart then they are round. If someone is smart and young then they are round. If Harry is white then Harry is not smart. If someone is round and green then they are rough. If someone is young and white then they are nice. If someone is not white then they are young.
Gary is not green.