diff --git a/src/Bergamot/Rules.elm b/src/Bergamot/Rules.elm
index d2cb507..12a7f5d 100644
--- a/src/Bergamot/Rules.elm
+++ b/src/Bergamot/Rules.elm
@@ -226,6 +226,6 @@ prove mt =
 
 single : RuleEnv -> Prover a -> Maybe a
 single env p =
-    p env { instantiationState = emptyInstantiationState, unificationState = emptyUnificationState, gas = 30 }
+    p env { instantiationState = emptyInstantiationState, unificationState = emptyUnificationState, gas = 15 }
     |> Search.one
     |> Maybe.map (Tuple.first << Tuple.first)