In the following argument, explain which rules of inference are used for each step. Lona, a student in this class, owns a red car. Everyone who owns a red car has gotten at least one speeding ticket. Therefore, someone in this class has gotten a speeding ticket." Let: son C(X): X is in this class. R(X): X owns a red car. T(X): X has gotten a speeding ticket