Translate the following inference to logic notation: Patricia is playing tennis or Jessica is happy. If Jessica were happy, then Jennifer is an astronaut. Jennifer is an astronaut or Patricia is not playing tennis. Therefore Jennifer is an astronaut.
p or q. q -> r. r or ~p. Therefore r.