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