diff --git a/jukebox.cabal b/jukebox.cabal
--- a/jukebox.cabal
+++ b/jukebox.cabal
@@ -1,5 +1,5 @@
 Name: jukebox
-Version: 0.4.3
+Version: 0.4.4
 Cabal-version: >= 1.8
 Build-type: Simple
 Author: Nick Smallbone
diff --git a/src/Jukebox/Tools/HornToUnit.hs b/src/Jukebox/Tools/HornToUnit.hs
--- a/src/Jukebox/Tools/HornToUnit.hs
+++ b/src/Jukebox/Tools/HornToUnit.hs
@@ -126,8 +126,8 @@
     map elim prob
     where
       elim inp
-        | length negs /= 1 &&
-          if null poss then not (allowConjunctiveConjectures flags) else multi flags =
+        | (null poss && length negs /= 1 && not (allowConjunctiveConjectures flags)) ||
+          (not (null poss) && length negs > 1 && multi flags) =
           inp{what = clause (Neg ((tuple tys :@: ts) :=: (tuple tys :@: us)):poss)}
         where
           (poss, negs) = partition pos (toLiterals (what inp))