「この三本以上は誘引する」ということは本当だ
fact1: もし「このＱＣはＤＶＤビデオだ」ということは事実だとすれば「あの製造コストはＤＶＤビデオである」ということは真実である fact2: その有効面積は行政エリアであるかもしくはそれは騒々しいかまたは両方ともである fact3: 御公儀はＤＶＤビデオである fact4: もしも「その有効面積は行政エリアである」ということは成り立つとするとあの製造コストは寸法である fact5: もしもこの三本以上は生活し易いとしたら「誘引する」ということは正しい fact6: 「もし仮にその有効面積が騒々しいとするとあの製造コストは寸法である」ということは成り立つ fact7: 仮にあの製造コストは届き難くないとすれば「この三本以上は生活し易い」ということは成り立つ fact8: 寸法がＤＶＤビデオだとすればそれは届き難いということはない fact9: 「このＱＣはＤＶＤビデオである」ということは事実である fact10: もし何らかの物は行政エリアだということはないなら「騒々しくて誘引する」ということは偽だ
fact2 & fact4 & fact6 -> int1: あの製造コストは寸法だ; fact9 & fact1 -> int2: あの製造コストはＤＶＤビデオである; int1 & int2 -> int3: あの製造コストは寸法であるしそれはＤＶＤビデオである; fact8 -> int4: あの製造コストは寸法であるしそれにＤＶＤビデオであるならばそれは届き難くない; int3 & int4 -> int5: あの製造コストは届き難くない; int5 & fact7 -> int6: この三本以上は生活し易い; int6 & fact5 -> hypothesis;
この三本以上は誘引するということはない
fact11 -> int7: もしその有効面積は行政エリアでないとすると「「それは騒々しくてさらに誘引する」ということは成り立つ」ということは嘘だ;
$facts$ = fact1: もし「このＱＣはＤＶＤビデオだ」ということは事実だとすれば「あの製造コストはＤＶＤビデオである」ということは真実である fact2: その有効面積は行政エリアであるかもしくはそれは騒々しいかまたは両方ともである fact3: 御公儀はＤＶＤビデオである fact4: もしも「その有効面積は行政エリアである」ということは成り立つとするとあの製造コストは寸法である fact5: もしもこの三本以上は生活し易いとしたら「誘引する」ということは正しい fact6: 「もし仮にその有効面積が騒々しいとするとあの製造コストは寸法である」ということは成り立つ fact7: 仮にあの製造コストは届き難くないとすれば「この三本以上は生活し易い」ということは成り立つ fact8: 寸法がＤＶＤビデオだとすればそれは届き難いということはない fact9: 「このＱＣはＤＶＤビデオである」ということは事実である fact10: もし何らかの物は行政エリアだということはないなら「騒々しくて誘引する」ということは偽だ ; $hypothesis$ = 「この三本以上は誘引する」ということは本当だ ; $proof$ = 
fact2 & fact4 & fact6 -> int1: あの製造コストは寸法だ; fact9 & fact1 -> int2: あの製造コストはＤＶＤビデオである; int1 & int2 -> int3: あの製造コストは寸法であるしそれはＤＶＤビデオである; fact8 -> int4: あの製造コストは寸法であるしそれにＤＶＤビデオであるならばそれは届き難くない; int3 & int4 -> int5: あの製造コストは届き難くない; int5 & fact7 -> int6: この三本以上は生活し易い; int6 & fact5 -> hypothesis; __PROVED__
事実1: もし「このＱＣはＤＶＤビデオだ」ということは事実だとすれば「あの製造コストはＤＶＤビデオである」ということは真実である
事実2: その有効面積は行政エリアであるかもしくはそれは騒々しいかまたは両方ともである
事実3: 御公儀はＤＶＤビデオである
事実4: もしも「その有効面積は行政エリアである」ということは成り立つとするとあの製造コストは寸法である
事実5: もしもこの三本以上は生活し易いとしたら「誘引する」ということは正しい
事実6: 「もし仮にその有効面積が騒々しいとするとあの製造コストは寸法である」ということは成り立つ
事実7: 仮にあの製造コストは届き難くないとすれば「この三本以上は生活し易い」ということは成り立つ
事実8: 寸法がＤＶＤビデオだとすればそれは届き難いということはない
事実9: 「このＱＣはＤＶＤビデオである」ということは事実である
事実10: もし何らかの物は行政エリアだということはないなら「騒々しくて誘引する」ということは偽だ

仮説: 「この三本以上は誘引する」ということは本当だ
1. 事実2と事実4と事実6から、推論1: "あの製造コストは寸法だ"が導かれる
2. 事実9と事実1から、推論2: "あの製造コストはＤＶＤビデオである"が導かれる
3. 推論1と推論2から、推論3: "あの製造コストは寸法であるしそれはＤＶＤビデオである"が導かれる
4. 事実8から、推論4: "あの製造コストは寸法であるしそれにＤＶＤビデオであるならばそれは届き難くない"が導かれる
5. 推論3と推論4から、推論5: "あの製造コストは届き難くない"が導かれる
6. 推論5と事実7から、推論6: "この三本以上は生活し易い"が導かれる
7. 推論6と事実5から、仮説が導かれる

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