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