Translate the following inference to logic notation: Jennifer is not bored. If Barbara were a mechanic, then Jennifer is bored. Barbara is a mechanic or Thomas is not running. Therefore Thomas is not running.
~p. q -> p. q or ~r. Therefore ~r.