premise: Gordon has not visited Catonsville, Francis has not visited Lake Geneva, Nathan has visited Martins Ferry and if Gordon has visited Catonsville then Steve has visited Birmingham
hypothesis: Steve has not visited Birmingham