O policial civil Antônio está lotado na Delegacia Municipal de Guarantã do Norte e ele está vinculado à Delegacia Regional de Porto Alegre do Norte.

Se o policial civil Antônio está vinculado à Delegacia Regional de Porto Alegre do Norte, então ele não está lotado na Delegacia Municipal de Guarantã do Norte.

O policial civil Antônio não está lotado na Delegacia Municipal de Guarantã do Norte ou ele não está vinculado à Delegacia Regional de Porto Alegre do Norte.

O policial civil Antônio não está lotado na Delegacia Municipal de Guarantã do Norte ou ele está vinculado à Delegacia Regional de Porto Alegre do Norte.

Se o policial civil Antônio não está vinculado à Delegacia Regional de Porto Alegre do Norte, então ele não está lotado na Delegacia Municipal de Guarantã do Norte.