人間といってもやり方は分かれるだろうから
まずLBLなのか何なのか先に戦略を決めないと人間らしくならないのでは？

その上で、特定のブロックだけに注目、という判別をさせて
段階（部分的な定理の利用か所）を移行していく形になるだろうな