0>> [TWGC] === [    ]
:  1>> [ WGC] === [T   ]:  禁止状態：　失敗
:  1>> [  GC] === [TW  ]:  禁止状態：　失敗
:  1>> [ W C] === [T G ]
:  :  2>> [TW C] === [  G ]
:  :  :  3>> [ W C] === [T G ]:  既訪状態：　失敗
:  :  :  3>> [   C] === [TWG ]
:  :  :  :  4>> [T  C] === [ WG ]:  禁止状態：　失敗
:  :  :  :  4>> [TW C] === [  G ]:  既訪状態：　失敗
:  :  :  :  4>> [T GC] === [ W  ]
:  :  :  :  :  5>> [  GC] === [TW  ]:  禁止状態：　失敗
:  :  :  :  :  5>> [   C] === [TWG ]:  既訪状態：　失敗
:  :  :  :  :  5>> [  G ] === [TW C]
:  :  :  :  :  :  6>> [T G ] === [ W C]
:  :  :  :  :  :  :  7>> [  G ] === [TW C]:  既訪状態：　失敗
:  :  :  :  :  :  :  7>> [    ] === [TWGC]:  目標状態：　成功
:  :  :  :  :  :  6>> [TWG ] === [   C]
:  :  :  :  :  :  :  7>> [ WG ] === [T  C]:  禁止状態：　失敗
:  :  :  :  :  :  :  7>> [  G ] === [TW C]:  既訪状態：　失敗
:  :  :  :  :  :  :  7>> [ W  ] === [T GC]
:  :  :  :  :  :  :  :  8>> [TW  ] === [  GC]:  禁止状態：　失敗
:  :  :  :  :  :  :  :  8>> [TWG ] === [   C]:  既訪状態：　失敗
:  :  :  :  :  :  :  :  8>> [TW C] === [  G ]:  既訪状態：　失敗
:  :  :  :  :  :  6>> [T GC] === [ W  ]:  既訪状態：　失敗
:  :  :  3>> [ W  ] === [T GC]
:  :  :  :  4>> [TW  ] === [  GC]:  禁止状態：　失敗
:  :  :  :  4>> [TWG ] === [   C]
:  :  :  :  :  5>> [ WG ] === [T  C]:  禁止状態：　失敗
:  :  :  :  :  5>> [  G ] === [TW C]
:  :  :  :  :  :  6>> [T G ] === [ W C]
:  :  :  :  :  :  :  7>> [  G ] === [TW C]:  既訪状態：　失敗
:  :  :  :  :  :  :  7>> [    ] === [TWGC]:  目標状態：　成功
:  :  :  :  :  :  6>> [TWG ] === [   C]:  既訪状態：　失敗
:  :  :  :  :  :  6>> [T GC] === [ W  ]
:  :  :  :  :  :  :  7>> [  GC] === [TW  ]:  禁止状態：　失敗
:  :  :  :  :  :  :  7>> [   C] === [TWG ]
:  :  :  :  :  :  :  :  8>> [T  C] === [ WG ]:  禁止状態：　失敗
:  :  :  :  :  :  :  :  8>> [TW C] === [  G ]:  既訪状態：　失敗
:  :  :  :  :  :  :  :  8>> [T GC] === [ W  ]:  既訪状態：　失敗
:  :  :  :  :  :  :  7>> [  G ] === [TW C]:  既訪状態：　失敗
:  :  :  :  :  5>> [ W  ] === [T GC]:  既訪状態：　失敗
:  :  :  :  4>> [TW C] === [  G ]:  既訪状態：　失敗
:  :  2>> [TWGC] === [    ]:  既訪状態：　失敗
:  1>> [ WG ] === [T  C]:  禁止状態：　失敗