「もしも共演であるならば過ごし易い」物はある
fact1: その主イエスが観測するとしたら理解し難い fact2: その主イエスは凝集反応である fact3: その主イエスはアッラー以外だ fact4: 「しつっこいとすれば「部分表だ」ということは本当な」物はある fact5: 「その主イエスは旅費法でない」ということは偽であるとしたら過ごし易い fact6: もしも「その肝臓移植は旅費法だ」ということは事実であるとすると汚い fact7: 「もしも子年であるならば新し」物はある fact8: もし仮にその春雨がレイヤー名だとしたらそれは押し易い fact9: その主イエスは食い入る fact10: その主イエスは起こし難い fact11: もしもなにがしかのものは物凄まじいとすると「それは構え易い」ということは成り立つ fact12: この懇請は緑肥作物だ fact13: もしその主イエスは共演であるとしたらそれはオヒシールだ fact14: オヒシールは過ごし易い fact15: 「もし砕け易いならば大陸政策な」ものはある fact16: もし仮にその主イエスが過ごし易いとしたらリュックである fact17: その主イエスは咳く fact18: 「その主イエスは皮膚障害だ」ということは本当だ fact19: もし仮にその主イエスはライスカレーであるとしたら沿える fact20: 何らかの物が弱々しいとすると人工物だ fact21: もしこの車椅子介助が爆弾製造だとしたらそれは過ごし易い
void -> assump1: 以下のように仮定する。その主イエスは共演である; fact13 & assump1 -> int1: その主イエスはオヒシールである; fact14 -> int2: 「その主イエスはオヒシールである」ということは確かであるならそれは過ごし易い; int1 & int2 -> int3: その主イエスは過ごし易い; [assump1] & int3 -> int4: もしもその主イエスは共演だとすると「それは過ごし易い」ということは正しい; int4 -> hypothesis;
$facts$ = fact1: その主イエスが観測するとしたら理解し難い fact2: その主イエスは凝集反応である fact3: その主イエスはアッラー以外だ fact4: 「しつっこいとすれば「部分表だ」ということは本当な」物はある fact5: 「その主イエスは旅費法でない」ということは偽であるとしたら過ごし易い fact6: もしも「その肝臓移植は旅費法だ」ということは事実であるとすると汚い fact7: 「もしも子年であるならば新し」物はある fact8: もし仮にその春雨がレイヤー名だとしたらそれは押し易い fact9: その主イエスは食い入る fact10: その主イエスは起こし難い fact11: もしもなにがしかのものは物凄まじいとすると「それは構え易い」ということは成り立つ fact12: この懇請は緑肥作物だ fact13: もしその主イエスは共演であるとしたらそれはオヒシールだ fact14: オヒシールは過ごし易い fact15: 「もし砕け易いならば大陸政策な」ものはある fact16: もし仮にその主イエスが過ごし易いとしたらリュックである fact17: その主イエスは咳く fact18: 「その主イエスは皮膚障害だ」ということは本当だ fact19: もし仮にその主イエスはライスカレーであるとしたら沿える fact20: 何らかの物が弱々しいとすると人工物だ fact21: もしこの車椅子介助が爆弾製造だとしたらそれは過ごし易い ; $hypothesis$ = 「もしも共演であるならば過ごし易い」物はある ; $proof$ = 
void -> assump1: 以下のように仮定する。その主イエスは共演である; fact13 & assump1 -> int1: その主イエスはオヒシールである; fact14 -> int2: 「その主イエスはオヒシールである」ということは確かであるならそれは過ごし易い; int1 & int2 -> int3: その主イエスは過ごし易い; [assump1] & int3 -> int4: もしもその主イエスは共演だとすると「それは過ごし易い」ということは正しい; int4 -> hypothesis; __PROVED__
事実1: その主イエスが観測するとしたら理解し難い
事実2: その主イエスは凝集反応である
事実3: その主イエスはアッラー以外だ
事実4: 「しつっこいとすれば「部分表だ」ということは本当な」物はある
事実5: 「その主イエスは旅費法でない」ということは偽であるとしたら過ごし易い
事実6: もしも「その肝臓移植は旅費法だ」ということは事実であるとすると汚い
事実7: 「もしも子年であるならば新し」物はある
事実8: もし仮にその春雨がレイヤー名だとしたらそれは押し易い
事実9: その主イエスは食い入る
事実10: その主イエスは起こし難い
事実11: もしもなにがしかのものは物凄まじいとすると「それは構え易い」ということは成り立つ
事実12: この懇請は緑肥作物だ
事実13: もしその主イエスは共演であるとしたらそれはオヒシールだ
事実14: オヒシールは過ごし易い
事実15: 「もし砕け易いならば大陸政策な」ものはある
事実16: もし仮にその主イエスが過ごし易いとしたらリュックである
事実17: その主イエスは咳く
事実18: 「その主イエスは皮膚障害だ」ということは本当だ
事実19: もし仮にその主イエスはライスカレーであるとしたら沿える
事実20: 何らかの物が弱々しいとすると人工物だ
事実21: もしこの車椅子介助が爆弾製造だとしたらそれは過ごし易い

仮説: 「もしも共演であるならば過ごし易い」物はある
1. 仮定1: 以下のように仮定する。その主イエスは共演である
2. 事実13と仮定1から、推論1: "その主イエスはオヒシールである"が導かれる
3. 事実14から、推論2: "「その主イエスはオヒシールである」ということは確かであるならそれは過ごし易い"が導かれる
4. 推論1と推論2から、推論3: "その主イエスは過ごし易い"が導かれる
5. [仮定1]と推論3から、推論4: "もしもその主イエスは共演だとすると「それは過ごし易い」ということは正しい"が導かれる
6. 推論4から、仮説が導かれる

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