Instantiation-Based Reasoning for First-Order Logic