Question 608105
You are correct. You use Modus Tollens on lines 1 and 2 to get the conclusion. Nice work.