premise: Jonathan has not visited Portsmouth, Brett has not visited Grand Island, Roger has visited Connecticut and if Brett has not visited Grand Island then Fernando has visited South San Francisco
hypothesis: Fernando has visited South San Francisco