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