Update README.md
Browse files
README.md
CHANGED
@@ -28,11 +28,11 @@ Training Details
|
|
28 |
|
29 |
## For the following natural language argument:
|
30 |
|
31 |
-
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.
|
32 |
|
33 |
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.
|
34 |
|
35 |
-
## This model output
|
36 |
|
37 |
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.
|
38 |
|
|
|
28 |
|
29 |
## For the following natural language argument:
|
30 |
|
31 |
+
"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."
|
32 |
|
33 |
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.
|
34 |
|
35 |
+
## This model output:
|
36 |
|
37 |
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.
|
38 |
|