このデリバティブ通達は地下牢でない
fact1: 何かは齎し易いけれどそれがＰ波でないならこのデリバティブ通達は試作する fact2: Ｐ波は国産品であるがしかし齎し易くない fact3: その学習院は国産品でなくてしかも御願いしない fact4: その学習院は国産品でなくてそれに御願いするということはないとすると間違える fact5: 「なにがしかのものは間違える」ということは成り立つとしたらそれは齎し易いがしかしＰ波でない fact6: なんらかのものが試作するとしたら地下牢である
fact4 & fact3 -> int1: その学習院は間違える; fact5 -> int2: もしもその学習院が間違えるとしたら齎し易くておまけにそれはＰ波でない; int1 & int2 -> int3: その学習院は齎し易いがしかしそれはＰ波でない; int3 -> int4: とある物は齎し易いがＰ波でない; int4 & fact1 -> int5: このデリバティブ通達は試作する; fact6 -> int6: 仮にこのデリバティブ通達が試作するとするとそれは地下牢だ; int5 & int6 -> hypothesis;
$facts$ = fact1: 何かは齎し易いけれどそれがＰ波でないならこのデリバティブ通達は試作する fact2: Ｐ波は国産品であるがしかし齎し易くない fact3: その学習院は国産品でなくてしかも御願いしない fact4: その学習院は国産品でなくてそれに御願いするということはないとすると間違える fact5: 「なにがしかのものは間違える」ということは成り立つとしたらそれは齎し易いがしかしＰ波でない fact6: なんらかのものが試作するとしたら地下牢である ; $hypothesis$ = このデリバティブ通達は地下牢でない ; $proof$ = 
fact4 & fact3 -> int1: その学習院は間違える; fact5 -> int2: もしもその学習院が間違えるとしたら齎し易くておまけにそれはＰ波でない; int1 & int2 -> int3: その学習院は齎し易いがしかしそれはＰ波でない; int3 -> int4: とある物は齎し易いがＰ波でない; int4 & fact1 -> int5: このデリバティブ通達は試作する; fact6 -> int6: 仮にこのデリバティブ通達が試作するとするとそれは地下牢だ; int5 & int6 -> hypothesis; __DISPROVED__
事実1: 何かは齎し易いけれどそれがＰ波でないならこのデリバティブ通達は試作する
事実2: Ｐ波は国産品であるがしかし齎し易くない
事実3: その学習院は国産品でなくてしかも御願いしない
事実4: その学習院は国産品でなくてそれに御願いするということはないとすると間違える
事実5: 「なにがしかのものは間違える」ということは成り立つとしたらそれは齎し易いがしかしＰ波でない
事実6: なんらかのものが試作するとしたら地下牢である

仮説: このデリバティブ通達は地下牢でない
1. 事実4と事実3から、推論1: "その学習院は間違える"が導かれる
2. 事実5から、推論2: "もしもその学習院が間違えるとしたら齎し易くておまけにそれはＰ波でない"が導かれる
3. 推論1と推論2から、推論3: "その学習院は齎し易いがしかしそれはＰ波でない"が導かれる
4. 推論3から、推論4: "とある物は齎し易いがＰ波でない"が導かれる
5. 推論4と事実1から、推論5: "このデリバティブ通達は試作する"が導かれる
6. 事実6から、推論6: "仮にこのデリバティブ通達が試作するとするとそれは地下牢だ"が導かれる
7. 推論5と推論6から、仮説が否定される

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