Index: tools/config.py
===================================================================
--- tools/config.py	(revision 30e2bbabc6e6d2fb1df50ace4a1582aa7b8d4617)
+++ tools/config.py	(revision 81c8d54932b8d433d80c1e2cc7f3bb31def15d79)
@@ -55,5 +55,5 @@
 
 def check_condition(text, defaults, ask_names):
-	"Check for condition"
+	"Check that the condition specified on input line is True (only CNF and DNF is supported)"
 	
 	ctype = 'cnf'
@@ -84,5 +84,5 @@
 
 def check_inside(text, defaults, ctype):
-	"Check that the condition specified on input line is True (only CNF is supported)"
+	"Check for condition"
 	
 	if (ctype == 'cnf'):
@@ -300,4 +300,9 @@
 		selname = None
 		while True:
+			
+			# Cancel out all defaults which have to be deduced
+			for varname, vartype, name, choices, cond in ask_names:
+				if (vartype == 'y'):
+					defaults[varname] = None
 			
 			options = []