Translate the following inference to logic notation: If it is windy, then Richard is not a taxi driver. It is windy or it is late. Richard is a taxi driver and James is an electrician. Therefore it is late.
p -> ~q. p or r. q and s. Therefore r.