Such would be the case if the postal service requires two sortations to get the mail to the 5-digit level while the computer goes there directly.
Currently, the postal service requires two sortations to get the mail to the 5-digit level.
mnli hypothesis: Currently, the postal service requires two sortations to get the mail to the 5-digit level. premise: Such would be the case if the postal service requires two sortations to get the mail to the 5-digit level while the computer goes there directly.