A standard form categorical syllogism with two universal premises has a particular conclusion. The idea is that some universal properties need not be instantiated. It may 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.