Bob is cold. Bob is furry. Bob is green. Bob is kind. Bob is nice. Bob is smart. Charlie is cold. Charlie is green. Charlie is nice. Charlie is smart. Dave is nice. Gary is cold. Gary is furry. Gary is kind. Gary is nice. Gary is quiet. If someone is smart then they are furry. If Charlie is cold and Charlie is quiet then Charlie is kind. If Gary is cold then Gary is smart. If Gary is quiet then Gary is smart. If someone is nice and kind then they are quiet. If someone is green then they are furry.
Bob is not nice.