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