この九割分は男の子らしいかまたはそれは甘ったるい
fact1: この証明済みは男の子らしい fact2: この九割分は木工品であるししかも倍増する fact3: あの作業用は画線部でないとしたら「このヘッダー・フッターは決裂しないが木工品だ」ということは成り立たない fact4: あの建物等は甘ったるい fact5: もし仮にこの九割分が木工品ならばあの建物等は男の子らしい fact6: あの建物等はこせこせする fact7: 「この九割分は男の子らしいか決裂する」ということは真実だ fact8: もしもこの九割分は甘ったるいならば「それは木工品だ」ということは成り立つ fact9: もしあの建物等が画線部であるならばこの九割分は男の子らしい fact10: もしもなにがしかの物が画線部ならばこせこせする fact11: あの建物等はこせこせするししかも木工品である fact12: 仮になんらかの物が木工品だとすれば決裂する fact13: もし「なにがしかのものは決裂する」ということは本当であるならそれは画線部である
fact11 -> int1: 「あの建物等は木工品だ」ということは正しい; fact12 -> int2: 仮にあの建物等は木工品であるなら決裂する; int1 & int2 -> int3: あの建物等は決裂する; fact13 -> int4: もし仮にあの建物等が決裂するなら画線部である; int3 & int4 -> int5: あの建物等は画線部である; int5 & fact9 -> int6: この九割分は男の子らしい; int6 -> hypothesis;
「この九割分は男の子らしいかもしくは甘ったるい」ということは正しいということはない
$facts$ = fact1: この証明済みは男の子らしい fact2: この九割分は木工品であるししかも倍増する fact3: あの作業用は画線部でないとしたら「このヘッダー・フッターは決裂しないが木工品だ」ということは成り立たない fact4: あの建物等は甘ったるい fact5: もし仮にこの九割分が木工品ならばあの建物等は男の子らしい fact6: あの建物等はこせこせする fact7: 「この九割分は男の子らしいか決裂する」ということは真実だ fact8: もしもこの九割分は甘ったるいならば「それは木工品だ」ということは成り立つ fact9: もしあの建物等が画線部であるならばこの九割分は男の子らしい fact10: もしもなにがしかの物が画線部ならばこせこせする fact11: あの建物等はこせこせするししかも木工品である fact12: 仮になんらかの物が木工品だとすれば決裂する fact13: もし「なにがしかのものは決裂する」ということは本当であるならそれは画線部である ; $hypothesis$ = この九割分は男の子らしいかまたはそれは甘ったるい ; $proof$ = 
fact11 -> int1: 「あの建物等は木工品だ」ということは正しい; fact12 -> int2: 仮にあの建物等は木工品であるなら決裂する; int1 & int2 -> int3: あの建物等は決裂する; fact13 -> int4: もし仮にあの建物等が決裂するなら画線部である; int3 & int4 -> int5: あの建物等は画線部である; int5 & fact9 -> int6: この九割分は男の子らしい; int6 -> hypothesis; __PROVED__
事実1: この証明済みは男の子らしい
事実2: この九割分は木工品であるししかも倍増する
事実3: あの作業用は画線部でないとしたら「このヘッダー・フッターは決裂しないが木工品だ」ということは成り立たない
事実4: あの建物等は甘ったるい
事実5: もし仮にこの九割分が木工品ならばあの建物等は男の子らしい
事実6: あの建物等はこせこせする
事実7: 「この九割分は男の子らしいか決裂する」ということは真実だ
事実8: もしもこの九割分は甘ったるいならば「それは木工品だ」ということは成り立つ
事実9: もしあの建物等が画線部であるならばこの九割分は男の子らしい
事実10: もしもなにがしかの物が画線部ならばこせこせする
事実11: あの建物等はこせこせするししかも木工品である
事実12: 仮になんらかの物が木工品だとすれば決裂する
事実13: もし「なにがしかのものは決裂する」ということは本当であるならそれは画線部である

仮説: この九割分は男の子らしいかまたはそれは甘ったるい
1. 事実11から、推論1: "「あの建物等は木工品だ」ということは正しい"が導かれる
2. 事実12から、推論2: "仮にあの建物等は木工品であるなら決裂する"が導かれる
3. 推論1と推論2から、推論3: "あの建物等は決裂する"が導かれる
4. 事実13から、推論4: "もし仮にあの建物等が決裂するなら画線部である"が導かれる
5. 推論3と推論4から、推論5: "あの建物等は画線部である"が導かれる
6. 推論5と事実9から、推論6: "この九割分は男の子らしい"が導かれる
7. 推論6から、仮説が導かれる

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