厳密にはx>0だとx−1は自然数にならないので

x>0であるから
x=3

のところは

x>1の自然数なので
x=3

と工夫したほうがいいかもです。

https://www.clearnotebooks.com/ja/questions/1766570
https://www.clearnotebooks.com/ja/questions/1766231
別の方への回答ですが。
最初の設定を、x,x+1,x+2としておけば
xは自然数なので、で大丈夫です。

最初の設定か条件(解の吟味)のどちらかを
よく考える必要があります。