premise: Miguel has not visited San Marcos, Fernando has visited Waukegan, Chad has visited Somerville and if Fernando has visited Waukegan then Brandon has visited Council Bluffs
hypothesis: Brandon has visited Council Bluffs