premise: Arthur has not visited Wailuku, Edward has visited Nampa, Marvin has not visited Saint Marys City and if Marvin has not visited Saint Marys City then Bradley has visited Louisiana
hypothesis: Bradley has not visited Louisiana