Translate the following inference to logic notation: Sarah is making tea or Michael is a nurse. It is not overcast. If Michael were a nurse, then Sarah is a taxi driver. If Sarah makes tea, then Sarah is a taxi driver. It is overcast or it is cold. Therefore Sarah is a taxi driver and it is cold.
p or q. ~r. q -> s. p -> s. r or t. Therefore s and t.