Translate the following inference to logic notation: Barbara is fast or Richard is a mechanic. Joseph is not playing tennis. If it is windy, then Joseph is playing tennis. If Barbara were fast, then it is windy. Therefore Richard is a mechanic.
p or q. ~r. s -> r. p -> s. Therefore q.