Translate the following inference to logic notation: If Elisabeth cooks, then William is writing a letter. If William writes a letter, then it is sunny. Elisabeth is cooking or Robert is not a server. If it is sunny, then Charles is working. Therefore if Robert were a server, then Charles is working.
p -> q. q -> r. p or ~s. r -> t. Therefore s -> t.