Translate the following inference to logic notation: Charles is a janitor if and only if Michael is running. Michael is running. It is cloudy. Therefore Charles is a janitor.
p <-> q. q. r. Therefore p.