Translate the following inference to logic notation: If Thomas were not a nurse, then Sarah is bored. William is not happy. If Thomas were a nurse, then William is happy. Therefore Sarah is bored.
~p -> q. ~r. p -> r. Therefore q.