premise: Armando has not visited Annapolis, Phillip has not visited Castine, Theodore has visited San Francisco and if Phillip has not visited Castine then Dustin has not visited Cedar Rapids
hypothesis: Dustin has not visited Cedar Rapids