Translate the following inference to logic notation: Michael is not bored or it is overcast. Charles is not poor or it is sunny. Charles is poor or Michael is bored. It is not sunny or it is snowing. Therefore it is overcast or it is snowing.
~p or q. ~r or s. r or p. ~s or t. Therefore q or t.