premise: Aaron has not visited Vicksburg, Larry has visited Marlborough, Pedro has not visited Newport Beach and if Pedro has visited Newport Beach then Arthur has visited Fort Valley
hypothesis: Arthur has not visited Fort Valley