diff --git a/share/prolog/oorules/guess.pl b/share/prolog/oorules/guess.pl
index 9efdc9eb..f21a3add 100644
--- a/share/prolog/oorules/guess.pl
+++ b/share/prolog/oorules/guess.pl
@@ -1668,8 +1668,7 @@
 
 tryNegation(G) :-
     loginfoln('Guessing ~Q.', negation_commit(G)),
-    try_assert(negation_commit(G)),
-    abolish_all_tables.
+    try_assert(negation_commit(G)).
 
 tryNOTNegation(G) :-
     loginfoln('Guessing ~Q.', negation_fail(G)),