BaRDa: A Belief and Reasoning Dataset that Separates Factual Accuracy and Reasoning Ability