premise: Joe has not visited Monterey, Sam has visited Knoxville, Milton has not visited California and if Milton has not visited California then Marvin has not visited Shelbyville
hypothesis: Marvin has not visited Shelbyville