A new fast tableau-based decision procedure for an unquantified fragment of set theory