Translate the following inference to logic notation: If Susan reads a book, then Karen is a janitor. Karen is a janitor if and only if it is late. If Robert climbs a mountain, then Susan is reading a book. Robert is climbing a mountain or it is late. Therefore Karen is a janitor.
p -> q. q <-> r. s -> p. s or r. Therefore q.