premise: Exactly six workers—Faith, Gus, Hannah, Juan, Kenneth, and Lisa—will travel to a business convention in two cars—car 1 and car 2. Each car must carry at least two of the workers, one of whom will be assigned to drive. For the entire trip, the workers will comply with an assignment that also meets the following constraints: Either Faith or Gus must drive the car in which Hannah travels. Either Faith or Kenneth must drive the car in which Juan travels. Gus must travel in the same car as Lisa. If Faith travels with two other workers in car 1, and if Faith is not the driver, then the person in car 1 other than Faith and the driver must be
hypothesis: Juan