「その統計処理は長しないがそれは例示する」ということは成り立たない
fact1: もしもあのパーツ交換が二材であるならばあの編集部員は二材である fact2: 「「移せるということはない」ということは本当である」ものがあるならばあのパーツ交換は冷飲する fact3: 仮に「あの編集部員は二材である」ということは誤りでないとするとあのフリースローラインは二材である fact4: あの編集部員は冷飲する fact5: 仮に「なんらかの物は冷飲する」ということは正しいとすればそれは二材である fact6: あのフリースローラインが移せないが分離し易いならばその統計処理は地球温暖化防止である fact7: あの編集部員が実生活であるしかつそれが冷飲するならあのフリースローラインは移せない fact8: あの編集部員は趙理君等で実生活だ fact9: この供給過剰は冷飲する fact10: 仮にあの編集部員が冷飲しないがしかし実生活であるならばあの統計処理は趙理君等でない fact11: もしその統計処理が地球温暖化防止でそれが葡萄園だとすればそれは逞しいということはない fact12: 「あのフリースローラインは分離し易い」ということは正しい fact13: 「その統計処理は長ししまた例示する」ということは間違いだ fact14: 「移せない」物はある fact15: もしもその統計処理は逞しくないならば「長しないし例示する」ということは成り立つということはない fact16: もし仮になんらかの物が趙理君等だということはないならば長しないが例示する fact17: その統計処理は葡萄園だ
fact8 -> int1: あの編集部員は実生活である; int1 & fact4 -> int2: あの編集部員は実生活であるし更に冷飲する; int2 & fact7 -> int3: あのフリースローラインは移せない; int3 & fact12 -> int4: あのフリースローラインは移せないが分離し易い; int4 & fact6 -> int5: その統計処理は地球温暖化防止だ; int5 & fact17 -> int6: その統計処理は地球温暖化防止であるしそれは葡萄園である; int6 & fact11 -> int7: 「その統計処理は逞しくない」ということは成り立つ; int7 & fact15 -> hypothesis;
あのフリースローラインは二材だしかつ葡萄園である
fact18 -> int8: もし仮にあのパーツ交換が冷飲するとすると二材である; fact22 & fact19 -> int9: あのパーツ交換は冷飲する; int8 & int9 -> int10: 「あのパーツ交換は二材である」ということは成り立つ; fact20 & int10 -> int11: あの編集部員は二材だ; fact21 & int11 -> int12: あのフリースローラインは二材である;
$facts$ = fact1: もしもあのパーツ交換が二材であるならばあの編集部員は二材である fact2: 「「移せるということはない」ということは本当である」ものがあるならばあのパーツ交換は冷飲する fact3: 仮に「あの編集部員は二材である」ということは誤りでないとするとあのフリースローラインは二材である fact4: あの編集部員は冷飲する fact5: 仮に「なんらかの物は冷飲する」ということは正しいとすればそれは二材である fact6: あのフリースローラインが移せないが分離し易いならばその統計処理は地球温暖化防止である fact7: あの編集部員が実生活であるしかつそれが冷飲するならあのフリースローラインは移せない fact8: あの編集部員は趙理君等で実生活だ fact9: この供給過剰は冷飲する fact10: 仮にあの編集部員が冷飲しないがしかし実生活であるならばあの統計処理は趙理君等でない fact11: もしその統計処理が地球温暖化防止でそれが葡萄園だとすればそれは逞しいということはない fact12: 「あのフリースローラインは分離し易い」ということは正しい fact13: 「その統計処理は長ししまた例示する」ということは間違いだ fact14: 「移せない」物はある fact15: もしもその統計処理は逞しくないならば「長しないし例示する」ということは成り立つということはない fact16: もし仮になんらかの物が趙理君等だということはないならば長しないが例示する fact17: その統計処理は葡萄園だ ; $hypothesis$ = 「その統計処理は長しないがそれは例示する」ということは成り立たない ; $proof$ = 
fact8 -> int1: あの編集部員は実生活である; int1 & fact4 -> int2: あの編集部員は実生活であるし更に冷飲する; int2 & fact7 -> int3: あのフリースローラインは移せない; int3 & fact12 -> int4: あのフリースローラインは移せないが分離し易い; int4 & fact6 -> int5: その統計処理は地球温暖化防止だ; int5 & fact17 -> int6: その統計処理は地球温暖化防止であるしそれは葡萄園である; int6 & fact11 -> int7: 「その統計処理は逞しくない」ということは成り立つ; int7 & fact15 -> hypothesis; __PROVED__
事実1: もしもあのパーツ交換が二材であるならばあの編集部員は二材である
事実2: 「「移せるということはない」ということは本当である」ものがあるならばあのパーツ交換は冷飲する
事実3: 仮に「あの編集部員は二材である」ということは誤りでないとするとあのフリースローラインは二材である
事実4: あの編集部員は冷飲する
事実5: 仮に「なんらかの物は冷飲する」ということは正しいとすればそれは二材である
事実6: あのフリースローラインが移せないが分離し易いならばその統計処理は地球温暖化防止である
事実7: あの編集部員が実生活であるしかつそれが冷飲するならあのフリースローラインは移せない
事実8: あの編集部員は趙理君等で実生活だ
事実9: この供給過剰は冷飲する
事実10: 仮にあの編集部員が冷飲しないがしかし実生活であるならばあの統計処理は趙理君等でない
事実11: もしその統計処理が地球温暖化防止でそれが葡萄園だとすればそれは逞しいということはない
事実12: 「あのフリースローラインは分離し易い」ということは正しい
事実13: 「その統計処理は長ししまた例示する」ということは間違いだ
事実14: 「移せない」物はある
事実15: もしもその統計処理は逞しくないならば「長しないし例示する」ということは成り立つということはない
事実16: もし仮になんらかの物が趙理君等だということはないならば長しないが例示する
事実17: その統計処理は葡萄園だ

仮説: 「その統計処理は長しないがそれは例示する」ということは成り立たない
1. 事実8から、推論1: "あの編集部員は実生活である"が導かれる
2. 推論1と事実4から、推論2: "あの編集部員は実生活であるし更に冷飲する"が導かれる
3. 推論2と事実7から、推論3: "あのフリースローラインは移せない"が導かれる
4. 推論3と事実12から、推論4: "あのフリースローラインは移せないが分離し易い"が導かれる
5. 推論4と事実6から、推論5: "その統計処理は地球温暖化防止だ"が導かれる
6. 推論5と事実17から、推論6: "その統計処理は地球温暖化防止であるしそれは葡萄園である"が導かれる
7. 推論6と事実11から、推論7: "「その統計処理は逞しくない」ということは成り立つ"が導かれる
8. 推論7と事実15から、仮説が導かれる

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