premise: Eight physics students—four majors: Frank, Gwen, Henry, and Joan; and four nonmajors: Victor, Wanda, Xavier, and Yvette—are being assigned to four laboratory benches, numbered 1 through 4. Each student is assigned to exactly one bench, and exactly two students are assigned to each bench. Assignments of students to benches must conform to the following conditions: Exactly one major is assigned to each bench. Frank and Joan are assigned to consecutively numbered benches, with Frank assigned to the lower-numbered bench. Frank is assigned to the same bench as Victor. Gwen is not assigned to the same bench as Wanda. If Wanda is assigned to a lower-numbered bench than is Joan, then Henry must be assigned to a
hypothesis: lower-numbered bench than is Frank