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