diff --git a/src/prolog/machine/machine_state_impl.rs b/src/prolog/machine/machine_state_impl.rs
index a64685c5..ea1d722a 100644
--- a/src/prolog/machine/machine_state_impl.rs
+++ b/src/prolog/machine/machine_state_impl.rs
@@ -1892,7 +1892,7 @@ impl MachineState {
 
                     if let Some(ordering) = ordering {
                         if ordering != Ordering::Equal {
-                            return false;
+                            return true;
                         }
                     }