「その修復・保存は暑くない」ということは確かだ
fact1: あの成型時が展開し易くて更に荒々しいとしたらその修復・保存は暑くない fact2: 「この僧位は荒々しくない」ということは真実である fact3: あの成型時は展開し易くてそれにそれは再発し易い fact4: あのハンダ工作は再発し易い fact5: その修復・保存は再発し易くてかつ展開し易い fact6: 「あの成型時は内臓脂肪でない」ということは事実だ fact7: あの成型時は荒々しいしその上指導略案だ fact8: その修復・保存は指導略案である
fact7 -> int1: 「あの成型時は荒々しい」ということは成り立つ; fact3 -> int2: あの成型時は展開し易い; int1 & int2 -> int3: あの成型時は展開し易くておまけに荒々しい; int3 & fact1 -> hypothesis;
「その修復・保存は再発し易いし加えてそれは麗しい」ということは成り立つ
fact9 -> int4: 「その修復・保存は再発し易い」ということは成り立つ;
$facts$ = fact1: あの成型時が展開し易くて更に荒々しいとしたらその修復・保存は暑くない fact2: 「この僧位は荒々しくない」ということは真実である fact3: あの成型時は展開し易くてそれにそれは再発し易い fact4: あのハンダ工作は再発し易い fact5: その修復・保存は再発し易くてかつ展開し易い fact6: 「あの成型時は内臓脂肪でない」ということは事実だ fact7: あの成型時は荒々しいしその上指導略案だ fact8: その修復・保存は指導略案である ; $hypothesis$ = 「その修復・保存は暑くない」ということは確かだ ; $proof$ = 
fact7 -> int1: 「あの成型時は荒々しい」ということは成り立つ; fact3 -> int2: あの成型時は展開し易い; int1 & int2 -> int3: あの成型時は展開し易くておまけに荒々しい; int3 & fact1 -> hypothesis; __PROVED__
事実1: あの成型時が展開し易くて更に荒々しいとしたらその修復・保存は暑くない
事実2: 「この僧位は荒々しくない」ということは真実である
事実3: あの成型時は展開し易くてそれにそれは再発し易い
事実4: あのハンダ工作は再発し易い
事実5: その修復・保存は再発し易くてかつ展開し易い
事実6: 「あの成型時は内臓脂肪でない」ということは事実だ
事実7: あの成型時は荒々しいしその上指導略案だ
事実8: その修復・保存は指導略案である

仮説: 「その修復・保存は暑くない」ということは確かだ
1. 事実7から、推論1: "「あの成型時は荒々しい」ということは成り立つ"が導かれる
2. 事実3から、推論2: "あの成型時は展開し易い"が導かれる
3. 推論1と推論2から、推論3: "あの成型時は展開し易くておまけに荒々しい"が導かれる
4. 推論3と事実1から、仮説が導かれる

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