Translate the following inference to logic notation: If John were a soldier, then Robert is a janitor. If John were a carpenter, then John is a soldier. If Jennifer reads a book, then John is a soldier. If Robert were a janitor, then it is cloudy. Jennifer is reading a book or John is a carpenter. Therefore it is cloudy.
p -> q. r -> p. s -> p. q -> t. s or r. Therefore t.