On using the resolution method for this formula:
$ \forall x \forall z \big( \neg p ( x ) \lor r ( z ) \big) , \forall x \big( r ( x ) \rightarrow p ( x ) \big) \models \forall x p ( x ) \lor \forall x q ( x ) $.
I resulted that: $\text {Domain}: \{ 1 \}$, $ p ( 1 ) : \text {False}$, $ q ( 1 ) : \text {False}$, $ r ( 1 ) : \text {True}$.
Is it correct?