premise: Alexander has not visited Truth or Consequences, Alfredo has visited Saint Ignace, Roger has not visited Miami and if Roger has visited Miami then Shane has visited Manhattan
hypothesis: Shane has visited Manhattan