Translate the following inference to logic notation: If Susan were a scientist, then Elisabeth is cooking. Susan is a police officer or Susan is a scientist. If Elisabeth cooks, then Patricia is making tea. If it is overcast, then Patricia is making tea. Susan is not a police officer or it is overcast. Therefore Patricia is making tea.
p -> q. r or p. q -> s. t -> s. ~r or t. Therefore s.