ルールに 「推論以外の方法で知ることはできない」と入れたほうがめんどくさくなくていいと思うよ。