# Debate 1 ## Proposition > "Animal agriculture produces no unnecessary suffering." ## Argument
P1) If farming cows necessitates suffering, then farming cows produces no unnecessary suffering.
(P→Q)
P2)
Farming cows necessitates suffering.
(P)
C)
Therefore, farming cows produces no unnecessary suffering.
(∴Q)

[Proof Tree](https://www.umsu.de/trees/#(P~5Q),(P)|=(Q)) ## Analysis ### Reductio
P1) If stabbing babies necessitates suffering, then stabbing babies produces no unnecessary suffering.
(P→Q)
P2)
Stabbing babies necessitates suffering.
(P)
C)
Therefore, stabbing babies produces no unnecessary suffering.
(∴Q)

[Proof Tree]([Proof Tree](https://www.umsu.de/trees/#(P~5Q),(P)|=(Q))) --- # Malpractice Receipts ![[📂 Media/PDFs/ME012318.pdf]] --- # Hashtags #debate #debate_opponents #clowns #clownery