Anne is cold. Anne is rough. Anne is young. Bob is rough. Bob is young. Charlie is blue. Charlie is cold. Gary is cold. Gary is kind. Gary is quiet. Gary is rough. Gary is young. Smart people are not kind. All blue people are cold. If someone is young and not cold then they are not blue.
Bob is not young.