Logic in Semantics

Use the following five deduction rules (conjunction introduction, two sub rules of conjunction elimination, modus ponens, and universal instantiation) to produce proofs that the six given premises (in the uploaded image) are contradictory in a number list-style proof.