Translate the following inference to logic notation: Linda is not making tea. If Linda makes tea, then Thomas is a politician. If Thomas were a politician, then Linda is making tea. Therefore Thomas is not a politician or Linda is running.
~p. p -> q. q -> p. Therefore ~q or r.