premise: Kirk has only visited Mali, Leroy has only visited Syria, Brian has only visited Austria, Curtis has only visited Burkina, Ivan has only visited Uzbekistan, Albert has only visited Iraq, Randy has only visited Greece, Max has only visited Malaysia, Bill has only visited Serbia
hypothesis: Randy didn't visit Federated States of Micronesia