Translate the following inference to logic notation: If it is cold, then Jennifer is a musician. If Jessica were an astronaut, then it is cold. It is cold or Jennifer is not a musician. Jessica is an astronaut or Jennifer is a musician. Therefore it is cold.
p -> q. r -> p. p or ~q. r or q. Therefore p.