premise: Calvin has not visited Fort Walton Beach, Keith has not visited Los Alamos, Andrew has visited Austin and if Calvin has not visited Fort Walton Beach then Marvin has visited Junction City
hypothesis: Marvin has not visited Junction City