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