clause_enumeration_backtracking([0 - true, 1 - true, 2 - true, 3 - true]).