Charlie is red. Dave is rough. Dave is nice. Dave is kind. Dave is green. Dave is big. Fred is round. Fred is green. Harry is nice. Harry is big. If someone is nice and blue then they are big. If someone is red and rough then they are blue. If someone is round and kind and blue then they are red. If someone is kind and nice and big then they are red. If someone is nice and green and blue then they are round. If someone is red and blue and green then they are kind.
Dave is blue.