Translate the following inference to logic notation: If Joseph were an artist, then Thomas is bored. Joseph is an artist if and only if Joseph is running. If Thomas were bored, then Joseph is running. Therefore Thomas is bored if and only if Joseph is running.
p -> q. p <-> r. q -> r. Therefore q <-> r.