「そのしかとは御座り下さらない」ということは事実である
fact1: この易疲労感は北アイルランド問題でない fact2: もしあの上げまんがさすとすればあの単語は性体験である fact3: もしもこの易疲労感が北アイルランド問題でないならあの上げまんは陣取る fact4: 「もし「なにかは陣取るし更に北アイルランド問題だ」ということは偽であるなら「それは御座り下さるということはない」ということは成り立つ」ということは本当だ fact5: 仮になにがしかの物が陣取るとすればそれはさす fact6: もし仮にあの単語が性体験ならばあのしかとは御座り下さる
fact3 & fact1 -> int1: あの上げまんは陣取る; fact5 -> int2: あの上げまんが陣取るとすればさす; int1 & int2 -> int3: あの上げまんはさす; int3 & fact2 -> int4: あの単語は性体験だ; int4 & fact6 -> hypothesis;
そのしかとは御座り下さらない
fact7 -> int5: もし「そのしかとは陣取るし北アイルランド問題である」ということは成り立たないとすれば「それは御座り下さるということはない」ということは正しい;
$facts$ = fact1: この易疲労感は北アイルランド問題でない fact2: もしあの上げまんがさすとすればあの単語は性体験である fact3: もしもこの易疲労感が北アイルランド問題でないならあの上げまんは陣取る fact4: 「もし「なにかは陣取るし更に北アイルランド問題だ」ということは偽であるなら「それは御座り下さるということはない」ということは成り立つ」ということは本当だ fact5: 仮になにがしかの物が陣取るとすればそれはさす fact6: もし仮にあの単語が性体験ならばあのしかとは御座り下さる ; $hypothesis$ = 「そのしかとは御座り下さらない」ということは事実である ; $proof$ = 
fact3 & fact1 -> int1: あの上げまんは陣取る; fact5 -> int2: あの上げまんが陣取るとすればさす; int1 & int2 -> int3: あの上げまんはさす; int3 & fact2 -> int4: あの単語は性体験だ; int4 & fact6 -> hypothesis; __DISPROVED__
事実1: この易疲労感は北アイルランド問題でない
事実2: もしあの上げまんがさすとすればあの単語は性体験である
事実3: もしもこの易疲労感が北アイルランド問題でないならあの上げまんは陣取る
事実4: 「もし「なにかは陣取るし更に北アイルランド問題だ」ということは偽であるなら「それは御座り下さるということはない」ということは成り立つ」ということは本当だ
事実5: 仮になにがしかの物が陣取るとすればそれはさす
事実6: もし仮にあの単語が性体験ならばあのしかとは御座り下さる

仮説: 「そのしかとは御座り下さらない」ということは事実である
1. 事実3と事実1から、推論1: "あの上げまんは陣取る"が導かれる
2. 事実5から、推論2: "あの上げまんが陣取るとすればさす"が導かれる
3. 推論1と推論2から、推論3: "あの上げまんはさす"が導かれる
4. 推論3と事実2から、推論4: "あの単語は性体験だ"が導かれる
5. 推論4と事実6から、仮説が否定される

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