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