A Decision Procedure for Nonperiodic Sequents of the First-Order Linear Temporal Logic