「そのプリントダイアログは帝国支配であるけど美し過ぎない」ということは成り立たない
fact1: もしもあの携帯電話用は急伸するとしたら「そのプリントダイアログはおっかなくない一方でそれは美し過ぎる」ということは成り立たない fact2: もし仮にその株式数が歩き辛いとしたらそのプリントダイアログは帝国支配だ fact3: もしも「そのプリントダイアログはおっかなくないけど美し過ぎる」ということは嘘ならそれは美し過ぎない fact4: 「あの消費者利益が論評すればあの携帯電話用は急伸する」ということは成り立つ fact5: あの消費者利益は論評する fact6: あの消費者利益がおっかないとすればあの携帯電話用は急伸しないかまたは歩き辛いということはないかもしくは両方である fact7: 全ては幅広くないがしかし歩き辛い fact8: あの社会習俗的定型性は論評する fact9: その株式数は幅広いということはない
fact7 -> int1: その株式数は幅広くないけど歩き辛い; int1 -> int2: その株式数は歩き辛い; int2 & fact2 -> int3: そのプリントダイアログは帝国支配だ; fact5 & fact4 -> int4: あの携帯電話用は急伸する; fact1 & int4 -> int5: 「そのプリントダイアログはおっかなくないけど美し過ぎる」ということは誤りである; int5 & fact3 -> int6: そのプリントダイアログは美し過ぎるということはない; int3 & int6 -> hypothesis;
「そのプリントダイアログは帝国支配であるけれど美し過ぎない」ということは事実と異なる
$facts$ = fact1: もしもあの携帯電話用は急伸するとしたら「そのプリントダイアログはおっかなくない一方でそれは美し過ぎる」ということは成り立たない fact2: もし仮にその株式数が歩き辛いとしたらそのプリントダイアログは帝国支配だ fact3: もしも「そのプリントダイアログはおっかなくないけど美し過ぎる」ということは嘘ならそれは美し過ぎない fact4: 「あの消費者利益が論評すればあの携帯電話用は急伸する」ということは成り立つ fact5: あの消費者利益は論評する fact6: あの消費者利益がおっかないとすればあの携帯電話用は急伸しないかまたは歩き辛いということはないかもしくは両方である fact7: 全ては幅広くないがしかし歩き辛い fact8: あの社会習俗的定型性は論評する fact9: その株式数は幅広いということはない ; $hypothesis$ = 「そのプリントダイアログは帝国支配であるけど美し過ぎない」ということは成り立たない ; $proof$ = 
fact7 -> int1: その株式数は幅広くないけど歩き辛い; int1 -> int2: その株式数は歩き辛い; int2 & fact2 -> int3: そのプリントダイアログは帝国支配だ; fact5 & fact4 -> int4: あの携帯電話用は急伸する; fact1 & int4 -> int5: 「そのプリントダイアログはおっかなくないけど美し過ぎる」ということは誤りである; int5 & fact3 -> int6: そのプリントダイアログは美し過ぎるということはない; int3 & int6 -> hypothesis; __DISPROVED__
事実1: もしもあの携帯電話用は急伸するとしたら「そのプリントダイアログはおっかなくない一方でそれは美し過ぎる」ということは成り立たない
事実2: もし仮にその株式数が歩き辛いとしたらそのプリントダイアログは帝国支配だ
事実3: もしも「そのプリントダイアログはおっかなくないけど美し過ぎる」ということは嘘ならそれは美し過ぎない
事実4: 「あの消費者利益が論評すればあの携帯電話用は急伸する」ということは成り立つ
事実5: あの消費者利益は論評する
事実6: あの消費者利益がおっかないとすればあの携帯電話用は急伸しないかまたは歩き辛いということはないかもしくは両方である
事実7: 全ては幅広くないがしかし歩き辛い
事実8: あの社会習俗的定型性は論評する
事実9: その株式数は幅広いということはない

仮説: 「そのプリントダイアログは帝国支配であるけど美し過ぎない」ということは成り立たない
1. 事実7から、推論1: "その株式数は幅広くないけど歩き辛い"が導かれる
2. 推論1から、推論2: "その株式数は歩き辛い"が導かれる
3. 推論2と事実2から、推論3: "そのプリントダイアログは帝国支配だ"が導かれる
4. 事実5と事実4から、推論4: "あの携帯電話用は急伸する"が導かれる
5. 事実1と推論4から、推論5: "「そのプリントダイアログはおっかなくないけど美し過ぎる」ということは誤りである"が導かれる
6. 推論5と事実3から、推論6: "そのプリントダイアログは美し過ぎるということはない"が導かれる
7. 推論3と推論6から、仮説が否定される

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