is there a tactic (other than inversion) that extracts implications from hypotheses?

Question

say I have the following goal:

To the human eye, it should be obvious that the only way H ends up being true is if n is either 7 or 21. I want to prove this using so