プロクターモードでの整合性の問題を確認する