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