Translate the following inference to logic notation: If John were sad, then Charles is running. If Charles goes running, then it is sunny. If John were sad, then it is sunny. If it is sunny, then John is sad. Therefore Charles is running if and only if John is sad.
p -> q. q -> r. p -> r. r -> p. Therefore q <-> p.