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