premise: Christian has not visited Loveland, Virgil has not visited Streator, Brad has visited White Sulphur Springs and if Christian has visited Loveland then Philip has visited Neenah
hypothesis: Philip has not visited Neenah