「この社債券不発行は核分裂するしモーゲージバンカーだ」ということは成り立たない
fact1: もしも「広域圏でない」ものはあれば「この社債券不発行は甲状腺ホルモンでないかまたは差額ベット料金であるかもしくは両方ともだ」ということは間違いである fact2: すべてのものはモーゲージバンカーだし株券保管振り替えだ fact3: 「その奪い合いはちっちゃいということはないかまたはそれは客観化であるかまたは両方だ」ということは成り立つということはない fact4: 仮に「なにがしかの物は甲状腺ホルモンでないかもしくはそれは差額ベット料金であるかどちらもである」ということは事実でないなら「核分裂する」ということは誤っているということはない fact5: 仮になにがしかの物が床しかないかもしくはそれは核分裂するかどちらもであるとすれば床しかない fact6: 「広域圏でない」物はある fact7: この社債券不発行は株券保管振り替えだ fact8: すべての物は行われ易くて可愛い
fact4 -> int1: 「この社債券不発行は甲状腺ホルモンでないかまたは差額ベット料金であるかあるいは両方ともだ」ということは偽であるならば核分裂する; fact6 & fact1 -> int2: 「この社債券不発行は甲状腺ホルモンであるということはないかまたは差額ベット料金であるか両方ともである」ということは事実と異なる; int1 & int2 -> int3: この社債券不発行は核分裂する; fact2 -> int4: この社債券不発行はモーゲージバンカーでかつ株券保管振り替えだ; int4 -> int5: この社債券不発行はモーゲージバンカーである; int3 & int5 -> hypothesis;
fact4 -> int1: ¬(¬{AA}{aa} v {AB}{aa}) -> {B}{aa}; fact6 & fact1 -> int2: ¬(¬{AA}{aa} v {AB}{aa}); int1 & int2 -> int3: {B}{aa}; fact2 -> int4: ({A}{aa} & {C}{aa}); int4 -> int5: {A}{aa}; int3 & int5 -> hypothesis;
「床しかない」物はある
fact9 -> int6: あの節減が床しかないかあるいは核分裂するかどちらもだとしたらそれは床しかない;
$facts$ = fact1: もしも「広域圏でない」ものはあれば「この社債券不発行は甲状腺ホルモンでないかまたは差額ベット料金であるかもしくは両方ともだ」ということは間違いである fact2: すべてのものはモーゲージバンカーだし株券保管振り替えだ fact3: 「その奪い合いはちっちゃいということはないかまたはそれは客観化であるかまたは両方だ」ということは成り立つということはない fact4: 仮に「なにがしかの物は甲状腺ホルモンでないかもしくはそれは差額ベット料金であるかどちらもである」ということは事実でないなら「核分裂する」ということは誤っているということはない fact5: 仮になにがしかの物が床しかないかもしくはそれは核分裂するかどちらもであるとすれば床しかない fact6: 「広域圏でない」物はある fact7: この社債券不発行は株券保管振り替えだ fact8: すべての物は行われ易くて可愛い ; $hypothesis$ = 「この社債券不発行は核分裂するしモーゲージバンカーだ」ということは成り立たない ; $proof$ = 
fact4 -> int1: 「この社債券不発行は甲状腺ホルモンでないかまたは差額ベット料金であるかあるいは両方ともだ」ということは偽であるならば核分裂する; fact6 & fact1 -> int2: 「この社債券不発行は甲状腺ホルモンであるということはないかまたは差額ベット料金であるか両方ともである」ということは事実と異なる; int1 & int2 -> int3: この社債券不発行は核分裂する; fact2 -> int4: この社債券不発行はモーゲージバンカーでかつ株券保管振り替えだ; int4 -> int5: この社債券不発行はモーゲージバンカーである; int3 & int5 -> hypothesis; __DISPROVED__
事実1: もしも「広域圏でない」ものはあれば「この社債券不発行は甲状腺ホルモンでないかまたは差額ベット料金であるかもしくは両方ともだ」ということは間違いである
事実2: すべてのものはモーゲージバンカーだし株券保管振り替えだ
事実3: 「その奪い合いはちっちゃいということはないかまたはそれは客観化であるかまたは両方だ」ということは成り立つということはない
事実4: 仮に「なにがしかの物は甲状腺ホルモンでないかもしくはそれは差額ベット料金であるかどちらもである」ということは事実でないなら「核分裂する」ということは誤っているということはない
事実5: 仮になにがしかの物が床しかないかもしくはそれは核分裂するかどちらもであるとすれば床しかない
事実6: 「広域圏でない」物はある
事実7: この社債券不発行は株券保管振り替えだ
事実8: すべての物は行われ易くて可愛い

仮説: 「この社債券不発行は核分裂するしモーゲージバンカーだ」ということは成り立たない
1. 事実4から、推論1: "「この社債券不発行は甲状腺ホルモンでないかまたは差額ベット料金であるかあるいは両方ともだ」ということは偽であるならば核分裂する"が導かれる
2. 事実6と事実1から、推論2: "「この社債券不発行は甲状腺ホルモンであるということはないかまたは差額ベット料金であるか両方ともである」ということは事実と異なる"が導かれる
3. 推論1と推論2から、推論3: "この社債券不発行は核分裂する"が導かれる
4. 事実2から、推論4: "この社債券不発行はモーゲージバンカーでかつ株券保管振り替えだ"が導かれる
5. 推論4から、推論5: "この社債券不発行はモーゲージバンカーである"が導かれる
6. 推論3と推論5から、仮説が否定される

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