premise: Lance has not visited Athens, Francis has visited Germantown, Alexander has visited Carlsbad and if Francis has visited Germantown then Randall has visited Huntington Beach
hypothesis: Randall has not visited Huntington Beach