I have to determine whether the statement below is valid or not:

A convertible car is fun to drive. Isaac's car is not a convertible. Therefore, Isaac's car is not fun to drive.

My answer is that according to modus tollens this statement is valid. Is this right?

p -> q

~q

-------

~p