Bob is blue. Bob is furry. Dave is big. Dave is blue. Dave is not cold. Dave is kind. Gary is not big. Gary is furry. Gary is kind. Gary is not smart. If something is not cold then it is furry. If Dave is smart then Dave is big.
Bob is not smart.