根据两个对象在某些属性上的相同推出它们在另一些属性上也相同，这种推理属于（）推理。