Formal Argumentation and Human Reasoning: The Case of Reinstatement