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