Anne is blue. Anne is cold. Anne is quiet. Anne is rough. Anne is round. Bob is quiet. Bob is smart. Dave is quiet. Dave is smart. Gary is rough. Gary is smart. If someone is smart and kind then they are rough. If Gary is rough and Gary is blue then Gary is kind. All rough people are blue. If someone is smart then they are round. If Dave is quiet and Dave is rough then Dave is kind. Cold people are kind. If someone is blue and cold then they are kind. Round people are cold. All quiet people are smart.
Dave is not kind.