「その法幢は素広博士でない」ということは成り立つ
fact1: もしもあの特掲技芸は嬉しいとすればそれは行司輪だ fact2: 「あの特掲技芸は行司輪でなくてしかも貰い物でない」ということは成り立たない fact3: 仮にあの特掲技芸は落ち難いとすると「その月足は嬉しい一方で落ち難くない」ということは成り立たない fact4: もし仮に「あの特掲技芸は行司輪でないしそれは貰い物でない」ということは間違いなら落ち難い fact5: その法幢は嬉しい fact6: もし「「その月足は嬉しいけれど落ち難いということはない」ということは嘘だ」ということは成り立つとしたらその法幢は素広博士である fact7: あの特掲技芸は素広博士でなくて加えて落ち難くないとしたら「その法幢は素広博士だということはない」ということは事実である fact8: もしその法幢は社債原簿だとすれば「それは嬉しい」ということは本当である
fact4 & fact2 -> int1: あの特掲技芸は落ち難い; int1 & fact3 -> int2: 「その月足は嬉しいけれど落ち難くない」ということは誤っている; int2 & fact6 -> hypothesis;
fact4 & fact2 -> int1: {B}{a}; int1 & fact3 -> int2: ¬({C}{b} & ¬{B}{b}); int2 & fact6 -> hypothesis;
その法幢は素広博士でない
$facts$ = fact1: もしもあの特掲技芸は嬉しいとすればそれは行司輪だ fact2: 「あの特掲技芸は行司輪でなくてしかも貰い物でない」ということは成り立たない fact3: 仮にあの特掲技芸は落ち難いとすると「その月足は嬉しい一方で落ち難くない」ということは成り立たない fact4: もし仮に「あの特掲技芸は行司輪でないしそれは貰い物でない」ということは間違いなら落ち難い fact5: その法幢は嬉しい fact6: もし「「その月足は嬉しいけれど落ち難いということはない」ということは嘘だ」ということは成り立つとしたらその法幢は素広博士である fact7: あの特掲技芸は素広博士でなくて加えて落ち難くないとしたら「その法幢は素広博士だということはない」ということは事実である fact8: もしその法幢は社債原簿だとすれば「それは嬉しい」ということは本当である ; $hypothesis$ = 「その法幢は素広博士でない」ということは成り立つ ; $proof$ = 
fact4 & fact2 -> int1: あの特掲技芸は落ち難い; int1 & fact3 -> int2: 「その月足は嬉しいけれど落ち難くない」ということは誤っている; int2 & fact6 -> hypothesis; __DISPROVED__
事実1: もしもあの特掲技芸は嬉しいとすればそれは行司輪だ
事実2: 「あの特掲技芸は行司輪でなくてしかも貰い物でない」ということは成り立たない
事実3: 仮にあの特掲技芸は落ち難いとすると「その月足は嬉しい一方で落ち難くない」ということは成り立たない
事実4: もし仮に「あの特掲技芸は行司輪でないしそれは貰い物でない」ということは間違いなら落ち難い
事実5: その法幢は嬉しい
事実6: もし「「その月足は嬉しいけれど落ち難いということはない」ということは嘘だ」ということは成り立つとしたらその法幢は素広博士である
事実7: あの特掲技芸は素広博士でなくて加えて落ち難くないとしたら「その法幢は素広博士だということはない」ということは事実である
事実8: もしその法幢は社債原簿だとすれば「それは嬉しい」ということは本当である

仮説: 「その法幢は素広博士でない」ということは成り立つ
1. 事実4と事実2から、推論1: "あの特掲技芸は落ち難い"が導かれる
2. 推論1と事実3から、推論2: "「その月足は嬉しいけれど落ち難くない」ということは誤っている"が導かれる
3. 推論2と事実6から、仮説が否定される

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