伽利略理想实验将可靠的事实和理论思维结合起来，更能深刻地反映自然规律。伽利略的斜面实验（如图2所示）程序如下：
①减小第二个斜面的倾角，小球在这个斜面上仍然要达到原来的高度
②两个对接的斜面，让小球沿一个斜面从静止滚下，小球将滚上另一个斜面
③如果没有摩擦，小球将上升到释放时的高度
④继续减小第二个斜面的倾角，最后使它成水平面，小球将沿水平面以恒定速度持续运动下去
请按程序先后排列，并指出它究竟属于可靠事实，还是通过思维过程的推论。下列选项正确的是（数字表示上述程序的号码）(       )

A：事实②→事实①→推论③→推论④

B：事实②→推论①→推论③→推论④

C：事实②→推论①→推论④→推论③

D：事实②→推论③→推论①→推论④