I would pick on/off hall sensors (as opposed to linear responding).
Each hall sensor would connect to a Port B digital input. In the setup you would set interrupt on change for each sensor input.
I'm not 100% sure how the different Arduinos handle multiple interrupts that happen at the same time. so that would have to be looked into but I don't think it will be a problem.