refreshing

eyereasoner · Dec 20, 2024 · 2c7025e · 2c7025e
1 parent 22f49ed
commit 2c7025e
Show file tree

Hide file tree

Showing 6 changed files with 121,392 additions and 42,574 deletions.
diff --git a/reasoning/proof-by-contradiction/example2-answer.n3 b/reasoning/proof-by-contradiction/example2-answer.n3
@@ -11,3 +11,13 @@
 7 a :Positive.
 8 a :Positive.
 9 a :Positive.
+10 a :Positive.
+11 a :Positive.
+12 a :Positive.
+13 a :Positive.
+14 a :Positive.
+15 a :Positive.
+16 a :Positive.
+17 a :Positive.
+18 a :Positive.
+19 a :Positive.