premise: Lisa has not visited Brunei, Sylvia has visited Kyrgyzstan, Florence has not visited Singapore and if Florence has visited Singapore then Cindy has visited San Mmarino
hypothesis: Cindy has not visited San Mmarino