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