premise: Marion has not visited Skokie, Alexander has visited Malibu, Charlie has not visited Charlottesville and if Charlie has not visited Charlottesville then Rene has not visited Plymouth
hypothesis: Rene has not visited Plymouth