The situation:
What I want to do:
Complications:
How can this be done?
You may use ssh to forward port 22 from machine3 to machine1 via machine2, like
user1@machine1:$ ssh -L 2222:machine3:22 user2@machine2
After that configure sshfs on machine1 to use localhost:2222
port (in the second terminal tab):
user1@machine1:$ sshfs user3@localhost:/some/machine3/dir /some/local/dir -p 2222