Inference to Best Explanation