Translate the following inference to logic notation: Karen is a janitor or it is overcast. If it snows, then Mary is a writer. It is not overcast or it is late. Karen is not a janitor or it is snowing. Mary is not a writer. Therefore it is late.
p or q. r -> s. ~q or t. ~p or r. ~s. Therefore t.