Mike: For $2$ years. I$\text{'}$m also a guild leader in my MMO.

$4$: Jane: I see. So you have $2$ years of experience in Java.

$5$: Mike: I also know Python.

$6$: Jane: You know Java and Python! That's good, but it's still our company policy that if you want to work for us long$-$term, you need to learn

$C++.$ We got regular training events for that.

$7$: Mike: I am looking for long term employment. So I guess I'll have to lake that training.

$8$: Jane: Yeah! It's paid for by the company.

$9$: Mike: Can we talk about work hours?

Jane: Sure. It's usually $40$ hours per week, but every May to June, you will have to work $60$ hours per week.

$11$: Mike: Un$..$

$12$: Jane: We pay you generously though for that. It's double pay for overtime.

Mike: So I get paid more in May and June.

$14$: Jane: Right.

$15$: Mike: I heard you guys have a great work environment here.

Jane: Absolutely. There's free food available all day in our cafeteria. You have to try the German sausages or the vegetable lasagne they have every Tuesday.

$17$: Mike: Well. I$\text{'}$m a vegetarian, so I don't think I'll be trying those sausages.

$18$: Jane: The lasagne then.

$19$: Mike: Can we talk about benefits a bit?

$20$: Jane: Sure. If you're married, your wife or husband gets full health insurance.

$21$: Mike: I don't think we'll be getting that benefit then.

$22$: Jane: You're unmarried? We have benefits for qualifying domestic partners too.

$23$: Mike: What other benefits do you offer?

Jane: You get to pick between having disability insurance and full life insurance. If you select disability insurance, we'll buy you a basic life insurance policy.

$25$: Mike: So everyone has some form of free life insurance? Nice.

Both Mike and Jane used rules of inference. Some of them are fairly obvious, others more disguised. Identify them in the order in which they were used. For example, if modus ponens was the second rule of inference used, then you would enter $"2"$ into the input field next to modus ponens.