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