Linguistics

    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. Uploaded are the exact instructions of this assignment and the template example that the marker expects (note that as far as I've observed, the example may be faulty). Note that this assignment belongs to a linguistics (semantics) course, so sound reasoning in prose is expected more than difficult technical terms.