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