If all humans are mortal and Socrates is human, it follows that Socrates is mortal.

it 在这里是形式主语，指代后面 that 引导的整个从句内容。 follows 是动词 follow 的第三人称单数形式，follow 本意是"跟随"，在这里引申为"逻辑上必然得出"的意思。 that 在这里引导主语从句，引出具体的内容。 it follows that 是一个固定表达，表示"由此可以推断出..."，用于说明逻辑推理的必然结果。