Which Rule Is Used in the Following Inference $\frac { ( A \vee B ) \cdot [ C \supset ( D \vee F ) ] } { C \supset ( D \vee F ) }$

Multiple Choice

Which rule is used in the following inference? $\frac { ( A \vee B ) \cdot [ C \supset ( D \vee F ) ] } { C \supset ( D \vee F ) }$

A) Simp
B) Conj
C) Add
D) DS
E) HS