This is a pencil game based on "resolution".
Though the resolution is a basic tool for automated theorem proving, it's a very simple rule.
In this game, it is realized as a rule for erasing characters.
သုံးသပ္ခ်က္ သို႔မဟုတ္ အဆင့္သတ္မွတ္ခ်က္မ်ား မရွိေသးပါ။ ပထမဆုံး ျပဳလုပ္ရန္အတြက္ ကို ထည့္သြင္းေပးပါ။