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