Translate the following inference to logic notation: If Thomas climbs a mountain, then it is cloudy. It is cloudy or Joseph is not working. Jennifer is a soldier. Thomas is climbing a mountain or Joseph is working. Therefore Jennifer is a soldier and it is cloudy.
p -> q. q or ~r. s. p or r. Therefore s and q.