Strategy

which is ~(~F v G)

which is (F & ~G)

so get (F & ~G) by getting

~(T & ~W)

which is (~T v ~~W) or (~T v W)

But we have (W & H) and so we have W and so ~T v W by disjoining.