If we think about the large variation of appearances among donkeys, it is very probable that:
- Some donkeys look very much like horses.
- D is a donkey that looks very much like a horse. (Existential instantiation on 1)
- D looks very much like a horse. (By 2)
- D is a horse. (Probabilistic inference from 3)
- Some donkey is a horses.
- If D looks like a horse, probably D is a horse.