Translate the following inference to logic notation: Joseph is a bartender or it is overcast. If it is overcast, then it is late. If Joseph were a bartender, then it is raining. If it is late, then it is raining. Therefore it is raining or David is playing a game.
p or q. q -> r. p -> s. r -> s. Therefore s or t.