premise: Earl has not visited Los Alamos, Daryl has not visited Wauwatosa, Jamie has visited North College Hill and if Daryl has not visited Wauwatosa then Jason has not visited Marion
hypothesis: Jason has not visited Marion