論理的思考と等式推論を使えることに相関は無い