premise: Joel has not visited Silver City, Johnny has visited Fairhaven, Lawrence has not visited Wilson and if Lawrence has not visited Wilson then Nicholas has visited Norfolk
hypothesis: Nicholas has not visited Norfolk