Translate the following inference to logic notation: If Barbara were a poet, then Sarah is a police officer. If Sarah were a police officer, then it is sunny. Barbara is a poet or it is not sunny. Therefore Barbara is a poet if and only if it is sunny.
p -> q. q -> r. p or ~r. Therefore p <-> r.