premise: Antonio, Jamie, Micheal, Edward, Christopher, Andy, Wade, Darrell, Keith, Leroy, Daniel, Derrick, Melvin, Oscar, Arthur, Carl, Ruben and Jessie have only visited Spain
hypothesis: Christopher didn't visit San Mmarino