「あのコマンドボタンは微言だ」ということは事実と異なる
fact1: あのレポートが数日すればそのＰＴＥは折れ易い fact2: 仮にそのＰＴＥが折れ易いとしたらあのコマンドボタンは微言である fact3: 「この兼夏本神代紀はおもろい」ということは確かだ fact4: おもろくない物は微言でない fact5: もし仮に「なんらかのものがおもろいしその上それは折れ易い」ということは嘘だとするとそれはおもろくない fact6: もしもこの兼夏本神代紀がおもろいとするとあのレポートは数日する
fact6 & fact3 -> int1: あのレポートは数日する; int1 & fact1 -> int2: そのＰＴＥは折れ易い; int2 & fact2 -> hypothesis;
「あのコマンドボタンは微言であるということはない」ということは成り立つ
fact7 -> int3: 「もしあのコマンドボタンがおもろいということはないならばあのコマンドボタンは微言だということはない」ということは成り立つ; fact8 -> int4: 「あのコマンドボタンはおもろくてそれにそれは折れ易い」ということは嘘ならばそれはおもろくない;
$facts$ = fact1: あのレポートが数日すればそのＰＴＥは折れ易い fact2: 仮にそのＰＴＥが折れ易いとしたらあのコマンドボタンは微言である fact3: 「この兼夏本神代紀はおもろい」ということは確かだ fact4: おもろくない物は微言でない fact5: もし仮に「なんらかのものがおもろいしその上それは折れ易い」ということは嘘だとするとそれはおもろくない fact6: もしもこの兼夏本神代紀がおもろいとするとあのレポートは数日する ; $hypothesis$ = 「あのコマンドボタンは微言だ」ということは事実と異なる ; $proof$ = 
fact6 & fact3 -> int1: あのレポートは数日する; int1 & fact1 -> int2: そのＰＴＥは折れ易い; int2 & fact2 -> hypothesis; __DISPROVED__
事実1: あのレポートが数日すればそのＰＴＥは折れ易い
事実2: 仮にそのＰＴＥが折れ易いとしたらあのコマンドボタンは微言である
事実3: 「この兼夏本神代紀はおもろい」ということは確かだ
事実4: おもろくない物は微言でない
事実5: もし仮に「なんらかのものがおもろいしその上それは折れ易い」ということは嘘だとするとそれはおもろくない
事実6: もしもこの兼夏本神代紀がおもろいとするとあのレポートは数日する

仮説: 「あのコマンドボタンは微言だ」ということは事実と異なる
1. 事実6と事実3から、推論1: "あのレポートは数日する"が導かれる
2. 推論1と事実1から、推論2: "そのＰＴＥは折れ易い"が導かれる
3. 推論2と事実2から、仮説が否定される

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