Translate the following inference to logic notation: If Thomas were a politician, then Patricia is a musician. If Patricia were a musician, then James is running. If John makes tea, then Thomas is a politician. If James goes running, then John is making tea. Therefore Thomas is a politician if and only if James is running.
p -> q. q -> r. s -> p. r -> s. Therefore p <-> r.