Translate the following inference to logic notation: If Thomas goes running, then it is raining. Thomas is running if and only if Jennifer is a bartender. If it rains, then Thomas is running. Therefore if it rains, then Jennifer is a bartender.
p -> q. p <-> r. q -> p. Therefore q -> r.