Comirit: Commonsense Reasoning by Integrating Simulation and Logic