(Simplified version of my deduced rules)
Arj Fvzcyvsvrq Ehyrf(!):
1. Lryybj sybjre jvyy tebj vs abar be zber guna bar pbaqvgvba vf erdhverq.
2. Vs gurer vf nal fcnpr (tnc) gung fheebhaqrq ol sybjref, terra sybjre jvyy tebj obgu urer naq orgjrra gur tncf, hayrff gurer vf gur bayl tnc urer.
3. Vs gur fryrpgrq fcnpr vf orgjrra bar fcnpr naq bar sybjre, checyr sybjre jvyy tebj. Gur sybjre arkg gb vg jvguref naq ba gur bgure fvqr vg tebjf gur fnzr nf gur bar gung jvguref.
4. Vs gurer vf ng yrnfg gjb fnzr sybjref arkg gb vg va n ebj, erq sybjre jvyy tebj. Gur sybjre ebj arkg gb vg jvguref.