Translate the following inference to logic notation: Joseph is not a soldier or Karen is making tea. If it is late, then it is overcast. If it is cloudy, then it is overcast. If Karen makes tea, then it is late. Joseph is a soldier or it is cloudy. Therefore it is overcast.
~p or q. r -> s. t -> s. q -> r. p or t. Therefore s.