1. (x)(Hx Gx Tx)

  2. (x)[Hx (Gx Tx)]

  3. (x)[Hx (Tx Gx)]

  4. (x)[Hx (Tx Gx)]

  5. (x)[Hx (Gx Tx)]

  6. (x)[Hx (Gx Tx)]

  7. (x)[Hx (Tx Gx)]

  8. (x)[Hx (Gx Tx)]

  9. (x)[Hx (Gx Tx)]

  10. (x)[Hx (Gx Tx)]

  11. (x)[Hx (Gx Tx)]

  12. (x)[Hx (Tx Gx)]

  13. (x)(Hx Gx ~Tx)

  14. (x)[(Hx Tx) Gx]

  15. (x)(Hx Tx ~Gx)

  16. (x)(Hx ~Gx ~Tx)

  17. (x)(Hx (Tx Gx)]

  18. (x)[Hx (Gx Tx)] 

  19. (x)[(Hx Gx) Tx]

  20. (x)[(Hx Tx) Gx]