--- a/Test/CanNotProve/test.py
+++ b/Test/CanNotProve/test.py
@@ -23,5 +23,5 @@
     test('rules', 'rule2', 2)
     Engine.reset()
     Engine.activate('rules')
-    (arg,), no_plan = Engine.prove_1('facts', 'fact3', (), 1)
-    assert arg == 'hi\nthere'
+    vars, no_plan = Engine.prove_1_goal('facts.fact3($ans)')
+    assert vars['ans'] == 'hi\nthere'