premise: Joe has only visited Brunei, Shawn has only visited Cabo, Theodore has only visited Malawi, Roberto has only visited Eritrea, Christian has only visited Peru, Juan has only visited Austria, Julio has only visited Nauru, Steve has only visited Sudan, Ramon has only visited Botswana, Timothy has only visited Netherlands, Richard has only visited Russia, Clayton has only visited Costa Rica
hypothesis: Timothy didn't visit Tanzania