[Logic] Prove the following sequents, using the primitive rules of predicate logic.