Bob is not blue. Bob is kind. Bob is red. Dave is furry. Dave is nice. Dave is red. Dave is round. Gary is blue. Gary is furry. Gary is quiet. If Gary is blue then Gary is kind. If something is kind and furry then it is red. If Dave is quiet then Dave is blue.
Gary is round.