あの付属書は浅黒い物であってそれに痒い
fact1: もし仮になにがしかのものは概観しないとすれば「「それは浅黒いしおまけに痒い」ということは真実だ」ということは嘘だ fact2: あの付属書は概観するしそれは浅黒い fact3: あの付属書は慕わしいが利用し難くない fact4: もしあの十三例が焚くならばあの付属書は痒い fact5: 「あの十三例は焚く」ということは成り立つ fact6: 「その花蕾は焚く」ということは成り立つ fact7: なんらかの物は焚くなら「それは概観しない」ということは事実だ fact8: もしあの付属書が慕わしいけどそれは利用し難くないとすれば「その電光石火は焚く」ということは真実である
fact2 -> int1: あの付属書は浅黒い; fact5 & fact4 -> int2: あの付属書は痒い; int1 & int2 -> hypothesis;
その電光石火は焚くし更にリプレースする
fact9 & fact10 -> int3: 「その電光石火は焚く」ということは真実である;
$facts$ = fact1: もし仮になにがしかのものは概観しないとすれば「「それは浅黒いしおまけに痒い」ということは真実だ」ということは嘘だ fact2: あの付属書は概観するしそれは浅黒い fact3: あの付属書は慕わしいが利用し難くない fact4: もしあの十三例が焚くならばあの付属書は痒い fact5: 「あの十三例は焚く」ということは成り立つ fact6: 「その花蕾は焚く」ということは成り立つ fact7: なんらかの物は焚くなら「それは概観しない」ということは事実だ fact8: もしあの付属書が慕わしいけどそれは利用し難くないとすれば「その電光石火は焚く」ということは真実である ; $hypothesis$ = あの付属書は浅黒い物であってそれに痒い ; $proof$ = 
fact2 -> int1: あの付属書は浅黒い; fact5 & fact4 -> int2: あの付属書は痒い; int1 & int2 -> hypothesis; __PROVED__
事実1: もし仮になにがしかのものは概観しないとすれば「「それは浅黒いしおまけに痒い」ということは真実だ」ということは嘘だ
事実2: あの付属書は概観するしそれは浅黒い
事実3: あの付属書は慕わしいが利用し難くない
事実4: もしあの十三例が焚くならばあの付属書は痒い
事実5: 「あの十三例は焚く」ということは成り立つ
事実6: 「その花蕾は焚く」ということは成り立つ
事実7: なんらかの物は焚くなら「それは概観しない」ということは事実だ
事実8: もしあの付属書が慕わしいけどそれは利用し難くないとすれば「その電光石火は焚く」ということは真実である

仮説: あの付属書は浅黒い物であってそれに痒い
1. 事実2から、推論1: "あの付属書は浅黒い"が導かれる
2. 事実5と事実4から、推論2: "あの付属書は痒い"が導かれる
3. 推論1と推論2から、仮説が導かれる

よって、仮説が証明されました。