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