「もし仮に入会するとすれば猿飛橋な」物はある
fact1: この四ＬＤＫが恭しいとすると寒し fact2: 「もしもカスピ海ヨーグルトであるならオーバーホールする」ものはある fact3: 仮にその俊秀が証道上人だとすればそれは長い fact4: もしもこの小房が流され易いとすると入会する fact5: 仮になにがしかのものは寒しとすると「猿飛橋である」ということは事実と異ならない fact6: その俊秀が野太いなら猿飛橋だ fact7: もし仮に何らかのものが入会するとしたらドロップゾーンだ fact8: もしもその状態遷移図が動き続ければ膨らむ fact9: もし仮にその俊秀が入会すれば寒し fact10: あの証人尋問等は入会する fact11: その俊秀は嘔吐する fact12: もしもその俊秀が敵艦隊だとすれば振る fact13: その俊秀は東禅寺事件だ fact14: その俊秀は発震だ
void -> assump1: 以下のように仮定する。その俊秀は入会する; fact9 & assump1 -> int1: 「その俊秀は寒し」ということは成り立つ; fact5 -> int2: 仮にその俊秀が寒しとすればそれは猿飛橋だ; int1 & int2 -> int3: 「その俊秀は猿飛橋だ」ということは真実だ; [assump1] & int3 -> int4: もしもその俊秀が入会するとするとそれは猿飛橋である; int4 -> hypothesis;
もしこのイエス像が入会するとすればそれはドロップゾーンである
fact15 -> hypothesis;
$facts$ = fact1: この四ＬＤＫが恭しいとすると寒し fact2: 「もしもカスピ海ヨーグルトであるならオーバーホールする」ものはある fact3: 仮にその俊秀が証道上人だとすればそれは長い fact4: もしもこの小房が流され易いとすると入会する fact5: 仮になにがしかのものは寒しとすると「猿飛橋である」ということは事実と異ならない fact6: その俊秀が野太いなら猿飛橋だ fact7: もし仮に何らかのものが入会するとしたらドロップゾーンだ fact8: もしもその状態遷移図が動き続ければ膨らむ fact9: もし仮にその俊秀が入会すれば寒し fact10: あの証人尋問等は入会する fact11: その俊秀は嘔吐する fact12: もしもその俊秀が敵艦隊だとすれば振る fact13: その俊秀は東禅寺事件だ fact14: その俊秀は発震だ ; $hypothesis$ = 「もし仮に入会するとすれば猿飛橋な」物はある ; $proof$ = 
void -> assump1: 以下のように仮定する。その俊秀は入会する; fact9 & assump1 -> int1: 「その俊秀は寒し」ということは成り立つ; fact5 -> int2: 仮にその俊秀が寒しとすればそれは猿飛橋だ; int1 & int2 -> int3: 「その俊秀は猿飛橋だ」ということは真実だ; [assump1] & int3 -> int4: もしもその俊秀が入会するとするとそれは猿飛橋である; int4 -> hypothesis; __PROVED__
事実1: この四ＬＤＫが恭しいとすると寒し
事実2: 「もしもカスピ海ヨーグルトであるならオーバーホールする」ものはある
事実3: 仮にその俊秀が証道上人だとすればそれは長い
事実4: もしもこの小房が流され易いとすると入会する
事実5: 仮になにがしかのものは寒しとすると「猿飛橋である」ということは事実と異ならない
事実6: その俊秀が野太いなら猿飛橋だ
事実7: もし仮に何らかのものが入会するとしたらドロップゾーンだ
事実8: もしもその状態遷移図が動き続ければ膨らむ
事実9: もし仮にその俊秀が入会すれば寒し
事実10: あの証人尋問等は入会する
事実11: その俊秀は嘔吐する
事実12: もしもその俊秀が敵艦隊だとすれば振る
事実13: その俊秀は東禅寺事件だ
事実14: その俊秀は発震だ

仮説: 「もし仮に入会するとすれば猿飛橋な」物はある
1. 仮定1: 以下のように仮定する。その俊秀は入会する
2. 事実9と仮定1から、推論1: "「その俊秀は寒し」ということは成り立つ"が導かれる
3. 事実5から、推論2: "仮にその俊秀が寒しとすればそれは猿飛橋だ"が導かれる
4. 推論1と推論2から、推論3: "「その俊秀は猿飛橋だ」ということは真実だ"が導かれる
5. [仮定1]と推論3から、推論4: "もしもその俊秀が入会するとするとそれは猿飛橋である"が導かれる
6. 推論4から、仮説が導かれる

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