Translate the following inference to logic notation: Thomas is a poet. Thomas is listening to a song if and only if Patricia is a bartender. Thomas is listening to a song. Therefore Thomas is a poet and Patricia is a bartender.
p. q <-> r. q. Therefore p and r.