スコーレム標準形を求めてください。
∀x∃y［P（x）→Q（x、y）］∧¬（∀x∃y［P（x）∧∀zR（z）］）

答の一部に¬R（g（y1））がでるはずなんですが答には¬がないんです。答間違ってますか？