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