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