Translate the following inference to logic notation: If Joseph were a janitor, then Thomas is a soldier. If it is cloudy, then Jennifer is a bartender. Thomas is a soldier if and only if Jennifer is a bartender. Joseph is a janitor or it is cloudy. Therefore Thomas is a soldier.
p -> q. r -> s. q <-> s. p or r. Therefore q.