premise: Leonard has not visited State College, Dean has not visited Wooster, Alberto has visited Beloit and if Leonard has visited State College then Hugh has visited Priest River
hypothesis: Hugh has not visited Priest River