Anne is blue. Anne is cold. Anne is kind. Anne is red. Anne is rough. Anne is not smart. Bob is not kind. Bob is red. Bob is rough. Bob is smart. Harry is blue. Harry is kind. Blue people are kind. Cold, rough people are red. All red people are rough. All round people are smart. If someone is round and not smart then they are cold. If someone is not smart then they are rough.
Harry is not rough.