premise: Jeff has not visited Lincoln, Kelly has visited Summersville, Dwayne has not visited Centralia and if Dwayne has visited Centralia then Tyrone has visited East Lansing
hypothesis: Tyrone has not visited East Lansing