Let the given premises be "All insects have six legs," "Dragonflies are insects," "Spiders do not have six legs," and "Spiders eat dragonflies."

The conditional statement $"$

x$,$ If x is an insect, then x has six legs" is derived from the statement "All insects have six legs" by using $\_\_\_\_\_.$

Multiple Choice

universal instantiation

universal generalization

existantial instantiation

existantial generalization