premise: Five experienced plumbers—Frank, Gene, Jill, Kathy, and Mark—and four inexperienced plumbers—Roberta, Sally, Tim, and Vernon—must decide which of them will be assigned to four work teams of exactly two plumbers each. Assignments must meet the following restrictions: Each plumber is assigned to at most one team. At least one plumber on each team must be experienced. Neither Mark nor Roberta nor Vernon can be assigned to a team with Frank. If Tim is assigned to a team, either Gene or Kathy must be assigned to that team. Jill cannot be assigned to a team with Roberta. If Tim is assigned to a team, and if Sally is assigned to a team with a plumber who could have been assigned to a team with Tim, then the only plumber with whom Frank could be assigned to a team is
hypothesis: Vernon