Probabilistic reasoning that models where a robot is in a maze of any size w/ sensor colors