For each of these arguments, explain which rules of inference are used for each step.
a) "Linda, a student in this class, owns a red convertible. (1)
 Everyone who owns a red convertible has gotten at least one speeding ticket. (2) 
Therefore, someone in this class has gotten a speeding ticket." (3)
ให้ S(x) แทน x is a student in this class.
R(x) แทน x owns a red convertible.
T(x) แทน  has gotten a speeding ticket.