ｸｲｽﾞ大陸

＞出題の前提が「・・より　強い・・・が　正しい」ですから。

前提は正しいです。それは間違いないです。
ですが、正しいと言っているのは
「何らかの比較基準（これは常に共通なものにする）によってＡＢ、ＢＣの間の比較をし、その結果ＡがＢより強い、ＢがＣより強いとわかった」
ということです。
二項間の比較「ＢはＣより強い」という内容が正しいと前提で書いていても、そこから「Ｂより強いものはＣより強い」というように、他との比較への拡張が正しいと言えるかどうかは、推移律の成立が鍵になるのです。

「Ａ＞Ｂ」「Ｂ＞Ｃ」
と前提をとるのと
「Ａ＞Ｂ」「Ｂ＞Ｃ」「＞という関係は推移律を満たす」
あるいは
「Ａ＞Ｂ」「任意のｘについてｘ＞Ｂならばx＞Ｃである」
のように前提をとるのでは違うのです。

今回の問題で「＞という関係は推移律を満たす」という前提がない状態でも論証に使えるのは、なんらかの証明によって「常に真」ということが言える場合、あるいは仮定として書かれている場合だけです。