Translate the following inference to logic notation: Jennifer is a scientist if and only if John is playing tennis. It is cloudy or Jennifer is a scientist. John is playing tennis or Linda is not a carpenter. It is not cloudy or Linda is a carpenter. Therefore John is playing tennis.
p <-> q. r or p. q or ~s. ~r or s. Therefore q.