Translate the following inference to logic notation: If Joseph were an astronaut, then Thomas is an electrician. If Thomas were an electrician, then it is cold. If it is cold, then Joseph is an astronaut. Therefore Joseph is an astronaut if and only if it is cold.
p -> q. q -> r. r -> p. Therefore p <-> r.