Translate the following inference to logic notation: Susan is playing tennis or it is snowing. If it snows, then Richard is a carpenter. If Barbara plays squash, then Richard is a carpenter. Barbara is playing squash if and only if Susan is playing tennis. Therefore Richard is a carpenter.
p or q. q -> r. s -> r. s <-> p. Therefore r.