I tried your second example, and I got the same result as you did. I guessed and got this solution:
Balloons - Carter - Famnar (sp?) - Student
Clowns - Emma - Lipton - Retirement
Dogs - Spencer - Garston - Super-Saver
Horses - Braden - Pollis - Premium
Sunsets - Julius - Neville - Economy
This seems to be consistent with the clues. However, if Carter and Julius are swapped, I also get a solution that seems to be consistent.
Guessing violates the logical deduction principle, and non-uniqueness violates the uniqueness principle. So ...
I am probably missing some interpretation of the clues that would give us another X in those empty rectangles on the left.