Translate the following inference to logic notation: Thomas is a cashier or it is not sunny. Thomas is a cashier or it is not windy. If it rains, then it is sunny. It is raining or it is windy. Therefore Thomas is a cashier.
p or ~q. p or ~r. s -> q. s or r. Therefore p.