premise: Gabriel has not visited Sheffield, Dave has not visited Warren, Dwayne has visited Laguna Beach and if Gabriel has not visited Sheffield then Matthew has not visited Kelso
hypothesis: Matthew has not visited Kelso