premise: Alfred has not visited Boys Town, Leon has not visited Northfield, Gabriel has visited Bloomfield and if Leon has not visited Northfield then Darren has visited Steubenville
hypothesis: Darren has not visited Steubenville