Bob is cold. Bob is furry. Bob is kind. Bob is nice. Bob is rough. Bob is smart. Charlie is nice. Charlie is quiet. Fiona is kind. Fiona is nice. Fiona is rough. Fiona is smart. If something is kind and furry then it is nice. All nice things are smart. Quiet things are rough. All kind, rough things are nice. All nice, kind things are cold. If something is rough then it is furry. If something is cold and kind then it is nice. All furry things are kind.
Charlie is not rough.