Translate the following inference to logic notation: It is not late. If Robert climbs a mountain, then John is not rich. William is cooking if and only if it is late. Susan is sleeping if and only if Robert is climbing a mountain. John is rich. Therefore William is not cooking.
~p. q -> ~r. s <-> p. t <-> q. r. Therefore ~s.