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