premise: John has not visited Puyallup, Alan has visited Huntington Beach, Harvey has visited Princeton and if Alan has visited Huntington Beach then Bruce has visited Falls Church
hypothesis: Bruce has visited Falls Church