Dave is round. Dave is nice. Dave is green. Dave is cold. Dave is big. Gary is young. Gary is round. Gary is rough. Gary is nice. Gary is kind. Gary is blue. If someone is rough and nice then they are red. If someone is blue and rough and green then they are big. If someone is round and red then they are kind. If someone is rough and round then they are blue. If someone is rough and red then they are cold. If someone is blue and young and round then they are green. If someone is green then they are rough.
Gary is not green.