Bob is big. Bob is cold. Bob is kind. Bob is rough. Charlie is furry. Charlie is kind. Dave is white. Harry is big. Harry is blue. Harry is kind. Harry is rough. All big people are blue. Cold people are furry. White people are big. Kind people are cold. All kind people are rough. If Charlie is furry and Charlie is big then Charlie is white. If someone is blue then they are kind.
Dave is not kind.