Implementação da geração das possibilidades de inferência da base.