Translate the following inference to logic notation: If Barbara cooks, then Karen is playing tennis. If Susan were poor, then Barbara is cooking. Susan is poor or Karen is not playing tennis. Therefore if Barbara cooks, then Karen is playing tennis.
p -> q. r -> p. r or ~q. Therefore p -> q.