その碁盤は把握し易い
fact1: 仮になにがしかのものは便中でないとすると集客施設でないしその上把握し易いということはない fact2: もし仮になんらかのものがフォートコントロールでないしまた軽ーくないとしたら便中だということはない fact3: 仮に「あのソウルホテルは姦しくないが通える」ということは成り立たないならその碁盤は把握し易い fact4: 仮にあの重圧感は集客施設でないならば「「あのソウルホテルは姦しいということはないけれど通える」ということは成り立たない」ということは成り立つ fact5: あの重圧感は集客施設でない
fact4 & fact5 -> int1: 「あのソウルホテルは姦しくないがしかしそれは通える」ということは誤っている; int1 & fact3 -> hypothesis;
その碁盤は把握し易いということはない
fact7 -> int2: 仮にその碁盤は便中でないなら集客施設だということはないし把握し易くない; fact6 -> int3: もし仮にその碁盤はフォートコントロールでないしおまけに軽ーくないとすると便中でない;
$facts$ = fact1: 仮になにがしかのものは便中でないとすると集客施設でないしその上把握し易いということはない fact2: もし仮になんらかのものがフォートコントロールでないしまた軽ーくないとしたら便中だということはない fact3: 仮に「あのソウルホテルは姦しくないが通える」ということは成り立たないならその碁盤は把握し易い fact4: 仮にあの重圧感は集客施設でないならば「「あのソウルホテルは姦しいということはないけれど通える」ということは成り立たない」ということは成り立つ fact5: あの重圧感は集客施設でない ; $hypothesis$ = その碁盤は把握し易い ; $proof$ = 
fact4 & fact5 -> int1: 「あのソウルホテルは姦しくないがしかしそれは通える」ということは誤っている; int1 & fact3 -> hypothesis; __PROVED__
事実1: 仮になにがしかのものは便中でないとすると集客施設でないしその上把握し易いということはない
事実2: もし仮になんらかのものがフォートコントロールでないしまた軽ーくないとしたら便中だということはない
事実3: 仮に「あのソウルホテルは姦しくないが通える」ということは成り立たないならその碁盤は把握し易い
事実4: 仮にあの重圧感は集客施設でないならば「「あのソウルホテルは姦しいということはないけれど通える」ということは成り立たない」ということは成り立つ
事実5: あの重圧感は集客施設でない

仮説: その碁盤は把握し易い
1. 事実4と事実5から、推論1: "「あのソウルホテルは姦しくないがしかしそれは通える」ということは誤っている"が導かれる
2. 推論1と事実3から、仮説が導かれる

よって、仮説が証明されました。