premise: Allan has not visited Ottawa, Gilbert has visited Edgartown, Ricardo has not visited Helena and if Ricardo has visited Helena then Nicholas has visited Overland Park
hypothesis: Nicholas has not visited Overland Park