Translate the following inference to logic notation: William is making tea or Karen is not cooking. If David were a musician, then Karen is cooking. Therefore if David were a musician, then William is making tea.
p or ~q. r -> q. Therefore r -> p.