translate the follwing expration to logic:

1. Not everyone can solve this problem. Someone is very clever. Therefore, there is someone very clever who cannot solve this problem.

2. Everyone is swimming but no one is cold. If it is raining then Michael goes swimming and Margo is cold. Therefore it is not raining.

3. If it is very cold or slippery, the classes will be cancelled. The classes will not be cancelled. Therefore, it is not slippery.

4. I will buy a new car and a new house only if I get a job. I am not going to get a job. Therefore,I will not buy a new car.

5. Mia, a student in COMP 1805 class, plays the violin. Everyone who plays violin owns bow rosin. Therefore, someone in COMP 1805 class owns bow rosin.