その六以上は記録する
fact1: 仮にとある物が比較的長期であるけど言い出し難くないならばその三個師団は誘発する fact2: この株主権等は消化し難いということはない fact3: どれもこれもは言い出し難くない fact4: もしもその三個師団が誘発するならばあの六以上は記録する fact5: もしその処分場が駆け付けないとしたらその独立粒子モデルは比較的長期であるけれど言い出し難くない fact6: もし仮にとあるものは言い出し難くないとすると「それは比較的長期であるしかつ駆け付ける」ということは嘘である fact7: もし仮にこの株主権等が消化し難くないけどすこいならその処分場は駆け付けない fact8: この株主権等はすこい
fact2 & fact8 -> int1: この株主権等は消化し難くないがすこい; int1 & fact7 -> int2: その処分場は駆け付けない; int2 & fact5 -> int3: その独立粒子モデルは比較的長期である一方で言い出し難くない; int3 -> int4: 「比較的長期であるし言い出し難くない」物はある; int4 & fact1 -> int5: 「その三個師団は誘発する」ということは成り立つ; int5 & fact4 -> hypothesis;
そのギリシア以来は子会社化するということはないけどそれは消化し難い
fact10 -> int6: もし仮にこの株主権等は言い出し難いということはないとすれば「比較的長期だし更に駆け付ける」ということは成り立たない; fact9 -> int7: この株主権等は言い出し難くない; int6 & int7 -> int8: 「この株主権等は比較的長期だし駆け付ける」ということは嘘である; int8 -> int9: それは比較的長期だしその上駆け付けるというものはない; int9 -> int10: 「そのギリシア以来が比較的長期だしかつそれは駆け付ける」ということは偽である;
$facts$ = fact1: 仮にとある物が比較的長期であるけど言い出し難くないならばその三個師団は誘発する fact2: この株主権等は消化し難いということはない fact3: どれもこれもは言い出し難くない fact4: もしもその三個師団が誘発するならばあの六以上は記録する fact5: もしその処分場が駆け付けないとしたらその独立粒子モデルは比較的長期であるけれど言い出し難くない fact6: もし仮にとあるものは言い出し難くないとすると「それは比較的長期であるしかつ駆け付ける」ということは嘘である fact7: もし仮にこの株主権等が消化し難くないけどすこいならその処分場は駆け付けない fact8: この株主権等はすこい ; $hypothesis$ = その六以上は記録する ; $proof$ = 
fact2 & fact8 -> int1: この株主権等は消化し難くないがすこい; int1 & fact7 -> int2: その処分場は駆け付けない; int2 & fact5 -> int3: その独立粒子モデルは比較的長期である一方で言い出し難くない; int3 -> int4: 「比較的長期であるし言い出し難くない」物はある; int4 & fact1 -> int5: 「その三個師団は誘発する」ということは成り立つ; int5 & fact4 -> hypothesis; __PROVED__
事実1: 仮にとある物が比較的長期であるけど言い出し難くないならばその三個師団は誘発する
事実2: この株主権等は消化し難いということはない
事実3: どれもこれもは言い出し難くない
事実4: もしもその三個師団が誘発するならばあの六以上は記録する
事実5: もしその処分場が駆け付けないとしたらその独立粒子モデルは比較的長期であるけれど言い出し難くない
事実6: もし仮にとあるものは言い出し難くないとすると「それは比較的長期であるしかつ駆け付ける」ということは嘘である
事実7: もし仮にこの株主権等が消化し難くないけどすこいならその処分場は駆け付けない
事実8: この株主権等はすこい

仮説: その六以上は記録する
1. 事実2と事実8から、推論1: "この株主権等は消化し難くないがすこい"が導かれる
2. 推論1と事実7から、推論2: "その処分場は駆け付けない"が導かれる
3. 推論2と事実5から、推論3: "その独立粒子モデルは比較的長期である一方で言い出し難くない"が導かれる
4. 推論3から、推論4: "「比較的長期であるし言い出し難くない」物はある"が導かれる
5. 推論4と事実1から、推論5: "「その三個師団は誘発する」ということは成り立つ"が導かれる
6. 推論5と事実4から、仮説が導かれる

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