premise: Leroy has not visited Romney, Phillip has not visited New Brunswick, Nicholas has visited Buffalo and if Leroy has not visited Romney then Richard has not visited Lebanon
hypothesis: Richard has not visited Lebanon