Translate the following inference to logic notation: Linda is an electrician if and only if Elisabeth is an artist. If Elisabeth were not an artist, then Sarah is a server. Linda is not an electrician. If Sarah were a server, then Thomas is playing squash. Therefore Thomas is playing squash.
p <-> q. ~q -> r. ~p. r -> s. Therefore s.