Translate the following inference to logic notation: If Patricia cooks, then Patricia is an electrician. Patricia is cooking or it is cloudy. Patricia is not an electrician or James is an astronaut. If it is cloudy, then Patricia is an electrician. Therefore Charles is running or James is an astronaut.
p -> q. p or r. ~q or s. r -> q. Therefore t or s.