premise: Joel has only visited Kazakhstan, Danny has only visited Brunei, Kent has only visited Barbados, Erik has only visited San Mmarino, Salvador has only visited Czech Republic, Rick has only visited Solomon Islands, Terrence has only visited Sweden
hypothesis: Patrick didn't visit Czech Republic