Update README.md

README.md

@@ -26,11 +26,13 @@ Training Details
 
 # Example Usage
 
-For the following natural language argument:
+## For the following natural language argument:
 
 Eating a balanced diet and exercising regularly are key to maintaining good health. If you maintain good health, you'll have more energy throughout the day. John has been eating a balanced diet and exercising regularly for the past few months. Therefore, it's likely that John now has more energy throughout his day.
 
-This model was able to accurately break down the argument into its premises and conclusion, and give a complete proof in propositional logic form, citing lines and inference rules:
+This model was able to accurately break down the argument into its premises and conclusion, and give a complete proof in propositional logic form, citing lines and inference rules.
+
+## This model output
 
 Premise 1: If someone eats a balanced diet and exercises regularly, they will maintain good health. Premise 2: John eats a balanced diet and exercises regularly. Conclusion: Therefore, John has more energy throughout his day.
  
@@ -49,7 +51,7 @@ Propositional logic proof:
 5. Conclusion: d (From 3 and 4, Modus Ponens)
 
 
-For the same prompt, here is how Llama 3.1 8b Instruct performed:
+## For the same prompt, here is how Llama 3.1 8b Instruct performed:
 
 The argument can be broken down as follows:
 
@@ -72,7 +74,7 @@ Here is the full proof in propositional logic form:
 
 The final answer is ∴ MEL, or "It's likely that John now has more energy throughout his day." 
 
-And here is how Claude 3.5 Sonnet performed:
+## And here is how Claude 3.5 Sonnet performed:
 
 Premises:
 P1: Eating a balanced diet and exercising regularly are key to maintaining good health.