premise: Hector has not visited Red Bluff, Herbert has visited Olympia, Pedro has not visited High Point and if Pedro has not visited High Point then Christian has visited West Plains
hypothesis: Christian has not visited West Plains