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