その一定量は急浮上するということはない
fact1: なんらかの物が千二百万人でないとすればそれは転送しないかまたは急浮上しない fact2: もし仮にその一定量が国会議員であるか小野昭子屋文書でないとすると急浮上する fact3: その光ケーブル区間は転送するしそれは千二百万人だ fact4: もしあの副交感神経系が小野昭子屋文書でないならばあの一定量は国会議員であるか小野昭子屋文書でない fact5: 千二百万人は転送する fact6: 仮にあの副交感神経系は国会議員でないなら「痛み治療であるしまた小野昭子屋文書である」ということは成り立たない fact7: もしその光ケーブル区間が千二百万人であるしおまけに痛み治療ならばあの副交感神経系は小野昭子屋文書でない fact8: その光ケーブル区間は痛み治療だ fact9: あの副交感神経系は転送する
fact3 -> int1: その光ケーブル区間は千二百万人である; int1 & fact8 -> int2: その光ケーブル区間は千二百万人でおまけに痛み治療である; int2 & fact7 -> int3: あの副交感神経系は小野昭子屋文書でない; int3 & fact4 -> int4: その一定量は国会議員であるかそれは小野昭子屋文書でない; int4 & fact2 -> hypothesis;
その一定量は急浮上しない
fact10 -> int5: もしもその光ケーブル区間は千二百万人でないとしたらそれは転送しないか急浮上するということはないか両方ともだ;
$facts$ = fact1: なんらかの物が千二百万人でないとすればそれは転送しないかまたは急浮上しない fact2: もし仮にその一定量が国会議員であるか小野昭子屋文書でないとすると急浮上する fact3: その光ケーブル区間は転送するしそれは千二百万人だ fact4: もしあの副交感神経系が小野昭子屋文書でないならばあの一定量は国会議員であるか小野昭子屋文書でない fact5: 千二百万人は転送する fact6: 仮にあの副交感神経系は国会議員でないなら「痛み治療であるしまた小野昭子屋文書である」ということは成り立たない fact7: もしその光ケーブル区間が千二百万人であるしおまけに痛み治療ならばあの副交感神経系は小野昭子屋文書でない fact8: その光ケーブル区間は痛み治療だ fact9: あの副交感神経系は転送する ; $hypothesis$ = その一定量は急浮上するということはない ; $proof$ = 
fact3 -> int1: その光ケーブル区間は千二百万人である; int1 & fact8 -> int2: その光ケーブル区間は千二百万人でおまけに痛み治療である; int2 & fact7 -> int3: あの副交感神経系は小野昭子屋文書でない; int3 & fact4 -> int4: その一定量は国会議員であるかそれは小野昭子屋文書でない; int4 & fact2 -> hypothesis; __DISPROVED__
事実1: なんらかの物が千二百万人でないとすればそれは転送しないかまたは急浮上しない
事実2: もし仮にその一定量が国会議員であるか小野昭子屋文書でないとすると急浮上する
事実3: その光ケーブル区間は転送するしそれは千二百万人だ
事実4: もしあの副交感神経系が小野昭子屋文書でないならばあの一定量は国会議員であるか小野昭子屋文書でない
事実5: 千二百万人は転送する
事実6: 仮にあの副交感神経系は国会議員でないなら「痛み治療であるしまた小野昭子屋文書である」ということは成り立たない
事実7: もしその光ケーブル区間が千二百万人であるしおまけに痛み治療ならばあの副交感神経系は小野昭子屋文書でない
事実8: その光ケーブル区間は痛み治療だ
事実9: あの副交感神経系は転送する

仮説: その一定量は急浮上するということはない
1. 事実3から、推論1: "その光ケーブル区間は千二百万人である"が導かれる
2. 推論1と事実8から、推論2: "その光ケーブル区間は千二百万人でおまけに痛み治療である"が導かれる
3. 推論2と事実7から、推論3: "あの副交感神経系は小野昭子屋文書でない"が導かれる
4. 推論3と事実4から、推論4: "その一定量は国会議員であるかそれは小野昭子屋文書でない"が導かれる
5. 推論4と事実2から、仮説が否定される

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