premise: Tyler has not visited Clifton, Louis has not visited Garden Grove, Gregory has visited Lewisburg and if Louis has not visited Garden Grove then Lewis has visited Sturgeon Bay
hypothesis: Lewis has visited Sturgeon Bay