Q15.a

Use Modus ponens $(A, A → B |= B)$ or resolution to show that the following set is inconsistent: where $x$ and $y$ are universally quantified variables, $a$ is a constant and $P, Q, R$ are monadic predicates.