Anne is big. Anne is blue. Anne is cold. Anne is kind. Bob is big. Bob is blue. Bob is green. Bob is round. Dave is kind. Harry is green. Harry is rough. If something is big then it is round. All kind things are big. Kind, green things are cold. If something is round and blue then it is rough. If something is kind and cold then it is rough. All rough, big things are cold. Big, rough things are kind. All kind, round things are blue. If something is cold then it is kind.
Bob is not kind.