premise: Byron has not visited Lincoln, Roland has visited Philadelphia, Kyle has not visited Natchitoches and if Kyle has visited Natchitoches then Derrick has visited Little Falls
hypothesis: Derrick has not visited Little Falls