Translate the following inference to logic notation: If Linda works, then it is overcast. If it is overcast, then Linda is working. If it is overcast, then Robert is sleeping. Robert is not sleeping. Therefore Linda is not working.
p -> q. q -> p. q -> r. ~r. Therefore ~p.