Holice

erase all you can first. then there is less to remove in the wash. You don't say which grey pencil you are using.
Type depends on how you get it out.
There are most likely 100's of gray pencils.