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