Checking Soundness of Reasoning