premise: Fernando has not visited Virden, Louis has not visited Meadville, Arthur has visited Woodbridge and if Louis has not visited Meadville then Herman has visited West Lafayette
hypothesis: Herman has visited West Lafayette