Translate the following inference to logic notation: Susan is writing a letter or Barbara is not working. Susan is not an astronaut. If Susan writes a letter, then Susan is an astronaut. Therefore Barbara is not working.
p or ~q. ~r. p -> r. Therefore ~q.