4.4 求异推论