Understanding Symbolic Logic, Virginia Klenk, Pearson Prentice Hall, 5th edition, 2008, Unit 20, ex. 1(c), p. 380

The argument is stated thus:

The person who owns a Ferrari is illegally parked. The person who is illegally parked will be towed. So, someone who owns a Ferrari will be towed.

1. (∃x){Px • Fx • (y)[(Py • Fy) ⊃ y = x] • Ix}
2. (∃x){Px • Ix • (y)[(Py • Iy) ⊃ y = x] • Tx}
3. ∴(∃x){Px • Fx • Tx)
4. Pa • Fa • (y)[(Py • Fy) ⊃ y = a] • Ia ......... 1EI x/a
5. Pm • Im • (y)[(Py • Iy) ⊃ y = m] • Tm ......... 2EI x/m
6. Pa • Ia ......... 4Simp.
7. (y)(Py • Iy) ⊃ y = m ......... 5Simp.
8. (Pa • Ia) ⊃ a = m ......... 7UI y/a
9. a = m ......... 6,8MP
10. Fa ......... 4Simp.
11. Fm ......... 9,10Id
12. Pm • Tm......... 5Simp.
13. Pm • Tm • Fm ......... 11,12Conj.
14. Pm • Fm • Tm ......... 13Comm.
15. (∃x){Px • Fx • Tx) ......... 14EG