What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Linda is reading a book if and only if Susan is a soldier. If Susan were a soldier, then Richard is rich. Susan is a soldier if and only if Richard is rich.
If Linda reads a book, then Susan is a soldier. If Susan were a soldier, then Richard is rich. If Susan were a soldier, then Linda is reading a book. If Richard were rich, then Susan is a soldier.