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