Translate the following inference to logic notation: If it is cloudy, then Elisabeth is cooking. If Elisabeth cooks, then Charles is working. Charles is working if and only if it is cloudy. Therefore it is cloudy if and only if Charles is working.
p -> q. q -> r. r <-> p. Therefore p <-> r.