Consider the rewrite rules that would be generated from the three commands below. In all three cases, the fact being stated relates the nth element of the reverse of x to the nth element of x. In fact ...
一部の結果でアクセス不可の可能性があるため、非表示になっています。
アクセス不可の結果を表示する