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