premise: Leonard has visited Cordova, Marshall has not visited Nacogdoches, Brett has visited Redwood City and if Leonard has visited Cordova then Nathaniel has visited Redmond
hypothesis: Nathaniel has not visited Redmond