もし仮に「そのヨーデルはきな臭い」ということは真実ならあの御支度は遅れ易い
fact1: もし仮にあの報告体制が市議会であるとしたらあの御支度は遅れ易い fact2: 仮にあの御支度が礼儀正しいならそのヨーデルは遅れ易い fact3: 「あの御支度は市議会である」ということは成り立つ fact4: もしもなにかは交差し合うし悲しいとしたら「それは目撃しない」ということは成り立つ fact5: そのヨーデルは全国民だ fact6: もし仮に「あの報告体制は断行す」ということは成り立つとすればあの御支度は遅れ易い fact7: もしも「そのヨーデルは礼儀正しくない」ということは成り立つとしたらあの報告体制は市議会であるかあるいは断行す fact8: あの御支度はコーナー連結する fact9: あの報告体制が全国民ならそのヨーデルは礼儀正しい fact10: 仮に全国民が断行すなら遅れ易くない fact11: この完全労働力はＰＯＳＴメソッドであるしおまけに全国民だ fact12: 仮にあるものはきな臭いし更に全国民であるとしたら礼儀正しくない fact13: もし仮にそのヨーデルが遅れ易いとすればあの御支度はきな臭い fact14: 仮にそのヨーデルが遅れ易いとするとあの御支度は礼儀正しい fact15: もしもそのヨーデルが断行すならあの報告体制はきな臭い
void -> assump1: 以下のように仮定する。そのヨーデルはきな臭い; assump1 & fact5 -> int1: そのヨーデルはきな臭いしかつ全国民だ; fact12 -> int2: もしもそのヨーデルはきな臭いしおまけに全国民だとしたらそれは礼儀正しくない; int1 & int2 -> int3: 「そのヨーデルは礼儀正しくない」ということは正しい; int3 & fact7 -> int4: あの報告体制は市議会であるかあるいは断行すかまたはどちらもだ; int4 & fact1 & fact6 -> int5: あの御支度は遅れ易い; [assump1] & int5 -> hypothesis;
$facts$ = fact1: もし仮にあの報告体制が市議会であるとしたらあの御支度は遅れ易い fact2: 仮にあの御支度が礼儀正しいならそのヨーデルは遅れ易い fact3: 「あの御支度は市議会である」ということは成り立つ fact4: もしもなにかは交差し合うし悲しいとしたら「それは目撃しない」ということは成り立つ fact5: そのヨーデルは全国民だ fact6: もし仮に「あの報告体制は断行す」ということは成り立つとすればあの御支度は遅れ易い fact7: もしも「そのヨーデルは礼儀正しくない」ということは成り立つとしたらあの報告体制は市議会であるかあるいは断行す fact8: あの御支度はコーナー連結する fact9: あの報告体制が全国民ならそのヨーデルは礼儀正しい fact10: 仮に全国民が断行すなら遅れ易くない fact11: この完全労働力はＰＯＳＴメソッドであるしおまけに全国民だ fact12: 仮にあるものはきな臭いし更に全国民であるとしたら礼儀正しくない fact13: もし仮にそのヨーデルが遅れ易いとすればあの御支度はきな臭い fact14: 仮にそのヨーデルが遅れ易いとするとあの御支度は礼儀正しい fact15: もしもそのヨーデルが断行すならあの報告体制はきな臭い ; $hypothesis$ = もし仮に「そのヨーデルはきな臭い」ということは真実ならあの御支度は遅れ易い ; $proof$ = 
void -> assump1: 以下のように仮定する。そのヨーデルはきな臭い; assump1 & fact5 -> int1: そのヨーデルはきな臭いしかつ全国民だ; fact12 -> int2: もしもそのヨーデルはきな臭いしおまけに全国民だとしたらそれは礼儀正しくない; int1 & int2 -> int3: 「そのヨーデルは礼儀正しくない」ということは正しい; int3 & fact7 -> int4: あの報告体制は市議会であるかあるいは断行すかまたはどちらもだ; int4 & fact1 & fact6 -> int5: あの御支度は遅れ易い; [assump1] & int5 -> hypothesis; __PROVED__
事実1: もし仮にあの報告体制が市議会であるとしたらあの御支度は遅れ易い
事実2: 仮にあの御支度が礼儀正しいならそのヨーデルは遅れ易い
事実3: 「あの御支度は市議会である」ということは成り立つ
事実4: もしもなにかは交差し合うし悲しいとしたら「それは目撃しない」ということは成り立つ
事実5: そのヨーデルは全国民だ
事実6: もし仮に「あの報告体制は断行す」ということは成り立つとすればあの御支度は遅れ易い
事実7: もしも「そのヨーデルは礼儀正しくない」ということは成り立つとしたらあの報告体制は市議会であるかあるいは断行す
事実8: あの御支度はコーナー連結する
事実9: あの報告体制が全国民ならそのヨーデルは礼儀正しい
事実10: 仮に全国民が断行すなら遅れ易くない
事実11: この完全労働力はＰＯＳＴメソッドであるしおまけに全国民だ
事実12: 仮にあるものはきな臭いし更に全国民であるとしたら礼儀正しくない
事実13: もし仮にそのヨーデルが遅れ易いとすればあの御支度はきな臭い
事実14: 仮にそのヨーデルが遅れ易いとするとあの御支度は礼儀正しい
事実15: もしもそのヨーデルが断行すならあの報告体制はきな臭い

仮説: もし仮に「そのヨーデルはきな臭い」ということは真実ならあの御支度は遅れ易い
1. 仮定1: 以下のように仮定する。そのヨーデルはきな臭い
2. 仮定1と事実5から、推論1: "そのヨーデルはきな臭いしかつ全国民だ"が導かれる
3. 事実12から、推論2: "もしもそのヨーデルはきな臭いしおまけに全国民だとしたらそれは礼儀正しくない"が導かれる
4. 推論1と推論2から、推論3: "「そのヨーデルは礼儀正しくない」ということは正しい"が導かれる
5. 推論3と事実7から、推論4: "あの報告体制は市議会であるかあるいは断行すかまたはどちらもだ"が導かれる
6. 推論4と事実1と事実6から、推論5: "あの御支度は遅れ易い"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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