Hint 1 for Day 1 negation exercises

If your target is ¬ Q, then try using

rintro hq,

Need more hints?