Translate the following inference to logic notation: David is drinking water or David is a janitor. If David drinks water, then Jennifer is a musician. It is snowing and Susan is an electrician. If David were a janitor, then Jennifer is a musician. Therefore Jennifer is a musician and it is snowing.
p or q. p -> r. s and t. q -> r. Therefore r and s.