From adf60bc0f89c31e5a7c1f36f7954fae4a3fc9ca1 Mon Sep 17 00:00:00 2001
From: Nick <nickjhiebert@proton.me>
Date: Tue, 19 Nov 2024 01:20:46 -0600
Subject: [PATCH] feat: removed an argument

---
 .../Arguments/Nutrition/OptimalDiet.elm       | 34 -------------------
 1 file changed, 34 deletions(-)
 delete mode 100644 frontend/src/Debate/Arguments/Nutrition/OptimalDiet.elm

diff --git a/frontend/src/Debate/Arguments/Nutrition/OptimalDiet.elm b/frontend/src/Debate/Arguments/Nutrition/OptimalDiet.elm
deleted file mode 100644
index 92c3f84..0000000
--- a/frontend/src/Debate/Arguments/Nutrition/OptimalDiet.elm
+++ /dev/null
@@ -1,34 +0,0 @@
-module Debate.Arguments.Nutrition.OptimalDiet exposing (..)
-
-import Debate.Types exposing (..)
-
-
-argumentOptimalDiet : Argument
-argumentOptimalDiet =
-    { argumentTitle = "Argument for the Artificial Manipulation of Food"
-    , propositionTitle = "The optimal human diet is likely heavily artificial."
-    , propositionReductio = ""
-    , propositionSummary = "Optimal diets will be a technological breakthrough, meaning that the diets that are best for humans just haven't been invented yet."
-    , proofLink  = "https://www.umsu.de/trees/#(P~5Q),(P)|=(Q)"
-    , definitionTable =
-        [ { definiendum = "P"
-          , definiens = "the health value of natural foods can be improved via artificial manipulation"
-          }
-        , { definiendum = "Q"
-          , definiens = "the optimal human diet is likely heavily artificial"
-          }
-        ]
-    , argumentFormalization =
-        [ { premises =
-                [ { premise = "If the health value of natural foods can be improved via artificial manipulation, then the optimal human diet is likely heavily artificial."
-                  , notation = "(P→Q)"
-                  }
-                , { premise = "The health value of natural foods can be improved via artificial manipulation."
-                  , notation = "(P)"
-                  }
-                ]
-          , conclusion = "Therefore, the optimal human diet is likely heavily artificial."
-          , conclusionNotation = "(∴Q)"
-          }
-        ]
-    }
\ No newline at end of file