premise: Clifford has not visited Auburn, Joel has not visited Arlington Heights, Christopher has visited Summit and if Joel has visited Arlington Heights then Mario has visited Genoa
hypothesis: Mario has not visited Genoa