もし仮にその夫婦観が刻するならこの塞がりは擁護する
fact1: もしもこの塞がりが非依存性ならばあの夫婦観は大差無い fact2: もしこの塞がりは大差無くないけれど刻するとすれば非依存性だ fact3: その夫婦観は非依存性だ fact4: この塞がりは非依存性だ fact5: その夫婦観は大差無い fact6: なんらかのものが擁護しないならばそれは非依存性であるし刻する fact7: その夫婦観は東洋亭である fact8: この塞がりはラテン帝国である fact9: もし仮にこの塞がりが擁護しないけど非依存性ならばそれは刻する fact10: その夫婦観は擁護しないが歯痒い fact11: その夫婦観は先取り出来ないけれど大差無い fact12: もしもその夫婦観は非依存性でない一方で刻するとしたらそれは擁護する fact13: 仮にその夫婦観は擁護するとすれば「この塞がりは非依存性である」ということは正しい fact14: もしもその夫婦観が刻するとするとこの塞がりは非依存性だ fact15: もしもその夫婦観が刻するとするとこの塞がりは大差無くないが非依存性である fact16: もしも何らかのものは大差無くない一方で非依存性であるとするとそれは擁護する fact17: もしも何かは紛糾するとすると擁護しないし加えて目まぐるしかない fact18: もしもこの塞がりが刻するならばあの夫婦観は大差無い fact19: 仮に何らかの物が刻しない一方でそれは非依存性であるとすれば擁護する
void -> assump1: 以下のように仮定する。その夫婦観は刻する; fact15 & assump1 -> int1: この塞がりは大差無くないがしかし非依存性だ; fact16 -> int2: この塞がりは大差無くないけど非依存性なら擁護する; int1 & int2 -> int3: この塞がりは擁護する; [assump1] & int3 -> hypothesis;
その農村は非依存性だ
fact21 -> int4: その農村が擁護しないとすればそれは非依存性であるしさらにそれは刻する; fact20 -> int5: もしもその農村が紛糾するとすればそれは擁護するということはなくてしかも目まぐるしかない;
$facts$ = fact1: もしもこの塞がりが非依存性ならばあの夫婦観は大差無い fact2: もしこの塞がりは大差無くないけれど刻するとすれば非依存性だ fact3: その夫婦観は非依存性だ fact4: この塞がりは非依存性だ fact5: その夫婦観は大差無い fact6: なんらかのものが擁護しないならばそれは非依存性であるし刻する fact7: その夫婦観は東洋亭である fact8: この塞がりはラテン帝国である fact9: もし仮にこの塞がりが擁護しないけど非依存性ならばそれは刻する fact10: その夫婦観は擁護しないが歯痒い fact11: その夫婦観は先取り出来ないけれど大差無い fact12: もしもその夫婦観は非依存性でない一方で刻するとしたらそれは擁護する fact13: 仮にその夫婦観は擁護するとすれば「この塞がりは非依存性である」ということは正しい fact14: もしもその夫婦観が刻するとするとこの塞がりは非依存性だ fact15: もしもその夫婦観が刻するとするとこの塞がりは大差無くないが非依存性である fact16: もしも何らかのものは大差無くない一方で非依存性であるとするとそれは擁護する fact17: もしも何かは紛糾するとすると擁護しないし加えて目まぐるしかない fact18: もしもこの塞がりが刻するならばあの夫婦観は大差無い fact19: 仮に何らかの物が刻しない一方でそれは非依存性であるとすれば擁護する ; $hypothesis$ = もし仮にその夫婦観が刻するならこの塞がりは擁護する ; $proof$ = 
void -> assump1: 以下のように仮定する。その夫婦観は刻する; fact15 & assump1 -> int1: この塞がりは大差無くないがしかし非依存性だ; fact16 -> int2: この塞がりは大差無くないけど非依存性なら擁護する; int1 & int2 -> int3: この塞がりは擁護する; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もしもこの塞がりが非依存性ならばあの夫婦観は大差無い
事実2: もしこの塞がりは大差無くないけれど刻するとすれば非依存性だ
事実3: その夫婦観は非依存性だ
事実4: この塞がりは非依存性だ
事実5: その夫婦観は大差無い
事実6: なんらかのものが擁護しないならばそれは非依存性であるし刻する
事実7: その夫婦観は東洋亭である
事実8: この塞がりはラテン帝国である
事実9: もし仮にこの塞がりが擁護しないけど非依存性ならばそれは刻する
事実10: その夫婦観は擁護しないが歯痒い
事実11: その夫婦観は先取り出来ないけれど大差無い
事実12: もしもその夫婦観は非依存性でない一方で刻するとしたらそれは擁護する
事実13: 仮にその夫婦観は擁護するとすれば「この塞がりは非依存性である」ということは正しい
事実14: もしもその夫婦観が刻するとするとこの塞がりは非依存性だ
事実15: もしもその夫婦観が刻するとするとこの塞がりは大差無くないが非依存性である
事実16: もしも何らかのものは大差無くない一方で非依存性であるとするとそれは擁護する
事実17: もしも何かは紛糾するとすると擁護しないし加えて目まぐるしかない
事実18: もしもこの塞がりが刻するならばあの夫婦観は大差無い
事実19: 仮に何らかの物が刻しない一方でそれは非依存性であるとすれば擁護する

仮説: もし仮にその夫婦観が刻するならこの塞がりは擁護する
1. 仮定1: 以下のように仮定する。その夫婦観は刻する
2. 事実15と仮定1から、推論1: "この塞がりは大差無くないがしかし非依存性だ"が導かれる
3. 事実16から、推論2: "この塞がりは大差無くないけど非依存性なら擁護する"が導かれる
4. 推論1と推論2から、推論3: "この塞がりは擁護する"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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