@agarry13,
Distributing is important, but they don't seem to give you any way of distributing the ⊃ in your list of rules.
So... remember that "material implication" can allow you to turn a nasty ⊃-statement into a statement that is entirely in terms of and's, or's and not's.