To apply the resolution rule, you should first convert the formula into conjunctive normal form, where it becomes a conjunction of disjunctions of literals like (A or B or C) and (D or E or not F).