Translate the following inference to logic notation: If Richard were happy, then Susan is reading a book. If Susan reads a book, then David is an astronaut. William is a soldier if and only if David is an astronaut. Therefore if Richard were happy, then William is a soldier.
p -> q. q -> r. s <-> r. Therefore p -> s.