premise: Tyrone, Floyd, Herbert, Zachary, Nathaniel, Alex, Nicholas, Norman, Lewis, John, Stanley, Frederick, Cecil, Mitchell, Shane, Timothy, Christopher and Dan have only visited Ireland
hypothesis: Frederick didn't visit Senegal