Translate the following inference to logic notation: Richard is fast if and only if Patricia is rich. Linda is not listening to a song. Linda is listening to a song if and only if Patricia is rich. Therefore Richard is not fast.
p <-> q. ~r. r <-> q. Therefore ~p.