Bob is blue. Bob is not cold. Bob is kind. Bob is red. Bob is rough. Bob is round. Charlie is not cold. Charlie is kind. Charlie is quiet. Charlie is round. Dave is blue. Dave is not kind. Dave is quiet. Dave is rough. Dave is round. If Bob is round then Bob is quiet.
Bob is red.