この餓鬼大将は被占領国でない
fact1: この局は被占領国である fact2: もしもこの餓鬼大将が寄る辺無いならそれは被占領国だ fact3: 何もかもはロックカウントでない fact4: もし何らかの物は姿形でないなら被占領国だし寄る辺無い fact5: この餓鬼大将は寄る辺無い fact6: 仮にこのバスト・トップは姿形であるならそれは被占領国でないかあるいは寄る辺無いということはないかもしくは両方だ
fact2 & fact5 -> hypothesis;
fact2 & fact5 -> hypothesis;
この鞄は寄る辺無い
fact7 -> int1: この餓鬼大将が姿形だということはないとすればそれが被占領国だし寄る辺無い; fact8 -> int2: この餓鬼大将はロックカウントでない;
$facts$ = fact1: この局は被占領国である fact2: もしもこの餓鬼大将が寄る辺無いならそれは被占領国だ fact3: 何もかもはロックカウントでない fact4: もし何らかの物は姿形でないなら被占領国だし寄る辺無い fact5: この餓鬼大将は寄る辺無い fact6: 仮にこのバスト・トップは姿形であるならそれは被占領国でないかあるいは寄る辺無いということはないかもしくは両方だ ; $hypothesis$ = この餓鬼大将は被占領国でない ; $proof$ = 
fact2 & fact5 -> hypothesis; __DISPROVED__
事実1: この局は被占領国である
事実2: もしもこの餓鬼大将が寄る辺無いならそれは被占領国だ
事実3: 何もかもはロックカウントでない
事実4: もし何らかの物は姿形でないなら被占領国だし寄る辺無い
事実5: この餓鬼大将は寄る辺無い
事実6: 仮にこのバスト・トップは姿形であるならそれは被占領国でないかあるいは寄る辺無いということはないかもしくは両方だ

仮説: この餓鬼大将は被占領国でない
1. 事実2と事実5から、仮説が否定される

よって、仮説が否定されました。