... , "Unless Shiming's car is fixed, which cannot happen without ... , then treat the other "logical indicator" as a negation.
... s rule on the indicator "unless". Which is choose a side, ... in the final answer. This is because the contrapositive of / ...