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