Hint 3 for Day 1 negation exercises

If your target is false, and one of your assumptions is hnq : ¬ Q then try

refine hnq _,