Translate the following inference to logic notation: Mary is a soldier. Richard is curious. If Richard were curious, then William is a lawyer. Therefore William is a lawyer or Thomas is bored.
p. q. q -> r. Therefore r or s.