premise: Oscar has only visited Kazakhstan, Lewis has only visited Iraq, Shawn has only visited Ireland, Bob has only visited Nauru, Chad has only visited Belgium, Claude has only visited Tonga, Franklin has only visited Philippines
hypothesis: Stephen didn't visit Nauru