Anne is not cold. Anne is kind. Anne is red. Anne is rough. Anne is smart. Bob is cold. Bob is not furry. Bob is quiet. Bob is not smart. Charlie is furry. Charlie is kind. Charlie is rough. Harry is not cold. Harry is kind. Harry is smart. All kind things are red. If something is furry and rough then it is red. If something is cold and red then it is rough. If something is red and furry then it is not smart. If something is quiet then it is kind. Smart, rough things are kind. If something is not red then it is not quiet. If something is not kind then it is cold.
Harry is not quiet.