xが5以上ならば、xは2以上である。
xが2以上ならば、xの最小値は2である。

ゆえに、三段論法により、

xが5以上ならば、xの最小値は2である。