Transit planner: If a food-safety batch is classified as high-volume production, then it contains a signed allergen-control sheet. If a food-safety batch contains a signed allergen-control sheet, then it appears in the ready-inventory ledger. Batch Barley does not appear in the ready-inventory ledger. Therefore, Batch Barley does not qualify for same-day distribution. Which statement, when added to the premises, proves the conclusion?