Oh, that's a pitty you can't set the sharpness to negative values.

I use virtualdubMpeg, but I think it can be done with any version of virtualdub. You have to go to video > framerate. At the bottom you can select the manual IVTC. But IVTCing the special collection is a lot of work. The pulldown changes from time to time so the settings have to be adjusted for specific pieces of video. Personally I just processed every side 5 times (offset 0 through 4) and I cut and pasted the correct IVTCed pieces together.