あの封建時代は還元出来る
fact1: なにがしかのものは名和公伝だ fact2: 仮にあるものは恐ろしさであるならば「ＣＤＫであるしそれは還元出来ない」ということは誤っている fact3: 仮に「発砲する」物があるとするとこの家屋内は名和公伝である fact4: もしこの一生果ては恐ろしさであるとすれば「この家屋内は収縮だ」ということは事実だ fact5: なにかは名和公伝でないとしたらそれが恐ろしさだし更に収縮だ fact6: 「なんらかのものは壊滅する」ということは真実である fact7: 「この一生果ては収縮だ」ということは成り立つとすれば恐ろしさであるかあるいはそれはＣＤＫであるということはない fact8: 仮に「「収縮であるしかつ名和公伝な」物はある」ということは成り立つとすれば「あの封建時代は還元出来る」ということは事実だ fact9: 「発砲する」ものはある fact10: もし仮にこの一生果てがＣＤＫであるとしたらこの家屋内は収縮だ fact11: もしも「この一生果てはＣＤＫであるけれど還元出来るということはない」ということは成り立たないとしたらあの封建時代は還元出来ない fact12: もしこの一生果ては恐ろしさだとすれば「その藍は発注業務である」ということは確かである fact13: この一生果ては恐ろしさであるかそれはＣＤＫであるかまたは両方である
fact13 & fact4 & fact10 -> int1: この家屋内は収縮だ; fact9 & fact3 -> int2: この家屋内は名和公伝である; int1 & int2 -> int3: この家屋内が収縮だしそれは名和公伝である; int3 -> int4: 「収縮であるし名和公伝な」物はある; int4 & fact8 -> hypothesis;
その藍は発注業務であるし還元出来る
$facts$ = fact1: なにがしかのものは名和公伝だ fact2: 仮にあるものは恐ろしさであるならば「ＣＤＫであるしそれは還元出来ない」ということは誤っている fact3: 仮に「発砲する」物があるとするとこの家屋内は名和公伝である fact4: もしこの一生果ては恐ろしさであるとすれば「この家屋内は収縮だ」ということは事実だ fact5: なにかは名和公伝でないとしたらそれが恐ろしさだし更に収縮だ fact6: 「なんらかのものは壊滅する」ということは真実である fact7: 「この一生果ては収縮だ」ということは成り立つとすれば恐ろしさであるかあるいはそれはＣＤＫであるということはない fact8: 仮に「「収縮であるしかつ名和公伝な」物はある」ということは成り立つとすれば「あの封建時代は還元出来る」ということは事実だ fact9: 「発砲する」ものはある fact10: もし仮にこの一生果てがＣＤＫであるとしたらこの家屋内は収縮だ fact11: もしも「この一生果てはＣＤＫであるけれど還元出来るということはない」ということは成り立たないとしたらあの封建時代は還元出来ない fact12: もしこの一生果ては恐ろしさだとすれば「その藍は発注業務である」ということは確かである fact13: この一生果ては恐ろしさであるかそれはＣＤＫであるかまたは両方である ; $hypothesis$ = あの封建時代は還元出来る ; $proof$ = 
fact13 & fact4 & fact10 -> int1: この家屋内は収縮だ; fact9 & fact3 -> int2: この家屋内は名和公伝である; int1 & int2 -> int3: この家屋内が収縮だしそれは名和公伝である; int3 -> int4: 「収縮であるし名和公伝な」物はある; int4 & fact8 -> hypothesis; __PROVED__
事実1: なにがしかのものは名和公伝だ
事実2: 仮にあるものは恐ろしさであるならば「ＣＤＫであるしそれは還元出来ない」ということは誤っている
事実3: 仮に「発砲する」物があるとするとこの家屋内は名和公伝である
事実4: もしこの一生果ては恐ろしさであるとすれば「この家屋内は収縮だ」ということは事実だ
事実5: なにかは名和公伝でないとしたらそれが恐ろしさだし更に収縮だ
事実6: 「なんらかのものは壊滅する」ということは真実である
事実7: 「この一生果ては収縮だ」ということは成り立つとすれば恐ろしさであるかあるいはそれはＣＤＫであるということはない
事実8: 仮に「「収縮であるしかつ名和公伝な」物はある」ということは成り立つとすれば「あの封建時代は還元出来る」ということは事実だ
事実9: 「発砲する」ものはある
事実10: もし仮にこの一生果てがＣＤＫであるとしたらこの家屋内は収縮だ
事実11: もしも「この一生果てはＣＤＫであるけれど還元出来るということはない」ということは成り立たないとしたらあの封建時代は還元出来ない
事実12: もしこの一生果ては恐ろしさだとすれば「その藍は発注業務である」ということは確かである
事実13: この一生果ては恐ろしさであるかそれはＣＤＫであるかまたは両方である

仮説: あの封建時代は還元出来る
1. 事実13と事実4と事実10から、推論1: "この家屋内は収縮だ"が導かれる
2. 事実9と事実3から、推論2: "この家屋内は名和公伝である"が導かれる
3. 推論1と推論2から、推論3: "この家屋内が収縮だしそれは名和公伝である"が導かれる
4. 推論3から、推論4: "「収縮であるし名和公伝な」物はある"が導かれる
5. 推論4と事実8から、仮説が導かれる

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