premise: Andrew has not visited Brunswick, Jamie has visited Ashland, Leonard has not visited Truth or Consequences and if Leonard has visited Truth or Consequences then Manuel has visited Michigan
hypothesis: Manuel has visited Michigan