A standard form categorical syllogism with two universal premises has a particular conclusion. The idea is thatsome universal properties need not be instantiated. Itmay be true that 'all trespassers will be shot' even if there are no trespassers. It may be true that 'all brakeless trains are dangerous' even though there are no brakeless trains. That is the point of this fallacy.
All mice are animals, and all animals are dangerous, so some mice are dangerous.
No honest people steal, and all honest people pay taxes, so some homest people pay taxes. Proof Assume that the premises are true, but that there are no instances of the category described. This shows that the conclusion is false.