文恩图解法验证三段论例题