The most practical way to consider it for this puzzle, is to figure out the puzzle. As far as I can tell, the "right" answer is Yes, because if Bob is married, he is looking at an explicitly stated unmarried person (Carol). If Bob is unmarried, an explicitly stated married person (Ann) is looking at Bob (unmarried)--both of which make the answer "Yes." Any other possibilities such as handfasting, estranged, or the possibility that Bob is not even a person, would fall into the "Quit being a wiseass and and answer the question already." category.