BoardgameQA: A Dataset for Natural Language Reasoning with Contradictory Information