update

app.py

@@ -14,23 +14,24 @@ logic_dict = {
 
 
 def logic(string: str):
+    processed_string = string
     for word, symbol in logic_dict.items():
-        string = string.replace(word, symbol)
-    return string
+        processed_string = processed_string.replace(word, symbol)
+    return processed_string
 
 
 demo = gr.Interface(fn=logic, 
                     inputs="text", outputs="text", 
                     examples=[
-                        'ALLx. Student(x) IMPLY Smart(x)',
-                        'EXISTx. TShirt(x) AND Buy(Adam, x)',
-                        'ALLx. (Animal(x) AND Fluffy(x)) IMPLY (Rabbit(x) OR Sheep(x))',
-                        '(GoDowntown(James) AND NOTCarry(James, Bag)) EQUIV Buy(James, Book)',
-                        'ALLx. Project(x) IMPLY (WrittenIn(x, Python) XR WrittenIn(x, C++))'
+                        'ALLx (Student(x) IMPLY Smart(x))',
+                        'EXISTx (TShirt(x) AND Buy(Adam, x))',
+                        'ALLx ((Animal(x) AND Fluffy(x)) IMPLY (Rabbit(x) OR Sheep(x)))',
+                        '(GoDowntown(james) AND NOTCarry(james, bag)) EQUIV Buy(james, book)',
+                        'ALLx (Project(x) IMPLY (WrittenIn(x, python) XR WrittenIn(x, c++)))'
                     ],
                     title="Logic Translator",
                     description="Type English for logic symbols!     \n                                ∧:AND, ∨:OR, ¬:NOT, ⊕:XR, →:IMPLY, ↔:EQUIV, ∀:ALL, ∃:EXIST",
                     live=True)
 
-demo.launch(share=True)
+demo.launch()