Translate the following inference to logic notation: Joseph is rich or Thomas is not climbing a mountain. If it is late, then Joseph is rich. Michael is an astronaut or it is late. Michael is not an astronaut or Thomas is climbing a mountain. Therefore Joseph is rich.
p or ~q. r -> p. s or r. ~s or q. Therefore p.