Anne is blue. Anne is cold. Anne is green. Bob is blue. Bob is not cold. Bob is not quiet. Bob is smart. Charlie is blue. Charlie is cold. Charlie is quiet. Charlie is rough. Charlie is smart. If someone is cold and not rough then they are quiet. If someone is quiet and not rough then they are not smart.
Anne is not rough.