Update README.md

README.md

@@ -77,8 +77,8 @@ def generate(context: str, question: str, max_new_tokens: int = 300) -> str:
 ```python
 print(
     generate(
-        context="Cats are animal. dogs are animal. human are not animal. animal are awsome",
-        question="dogs awsome?"
+        context="Cats are animal. dogs are animal. human are not animal. animal are awesome",
+        question="dogs awesome?"
     )
 )
 ```
@@ -90,7 +90,7 @@ print(
 cat(animal)
 dog(animal)
 ¬human(animal)
-∀x (animal(x) → awsome(x))
+∀x (animal(x) → awesome(x))
 
 [CONCLUSION_FOL]
 awesome(dog)