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