[rollyourown]

I don't follow the problem with the argument; it looks perfectly valid to me. Semantically, the two premises are contradictory, so anything follows. Syntactically, by E-conversion, premise 1 becomes 3. No unicorn is a horned animal., which by E-subalternation becomes 4. Some unicorns are not horned animals. Where is the error?
Bruce