premise: Derrick has not visited Bonners Ferry, Antonio has not visited Sudbury, Christopher has visited Biddeford and if Derrick has visited Bonners Ferry then Michael has visited Hastings
hypothesis: Michael has visited Hastings