Nice puzzle! I am curious about the “there are no redundant questions” part, I don’t think the puzzle would become logically ambiguous or unsolvable if that information wasn’t given, but am I missing something?
Xabjvat gung gurer'f ab erqhaqnag dhrfgvbaf yrgf lbh nccyl fbzr vagrerfgvat ybtvp jvgu ubj dhrfgvbaf 1 & 4 nssrpg rnpu bgure - vg'f abg erdhverq gb fbyir ohg vg'f zber fngvfslvat.
Originally I wanted the puzzle to be heavier on that kind of logic, but I couldn't find a set of questions that worked well.