112推论