あの法政はおっかしい
fact1: この生産者米価はおっかしい fact2: 「あの鼓打ちはオープンスタイルでないけれど気弱い」ということは真実でない fact3: もしもなにがしかのものが合理的説明なら共通する fact4: もしもあるものがオープンスタイルならあの固体粒子はオープンスタイルであるかもしくはタータンチェックであるかまたはどちらもである fact5: もしそのパパインが運悪いとしたら合理的説明だ fact6: そのパパインはタータンチェックだけれどおっかしくない fact7: もしもあの御滝ちゃんは運悪いということはないとすれば「そのパパインは合理的説明であるがしかしおっかしいということはない」ということは成り立たない fact8: 親しみ易くないものは共通しない fact9: なにがしかのものは油蝉なら「それは共通しないが運悪い」ということは成り立たない fact10: 仮にそのパパインは気弱くないけれどタータンチェックであるなら親しみ易くない fact11: もし仮にあの固体粒子がオープンスタイルならあの御滝ちゃんはタータンチェックだということはない fact12: もし仮に何かはタータンチェックであるということはないとすると親しみ易くて油蝉だ fact13: もし仮に「あの鼓打ちはオープンスタイルでないけれどそれは気弱い」ということは誤っているとしたらこの武烈はオープンスタイルである fact14: 仮に「「運悪くない」ということは確かな」物があるならあの法政はおっかしいけど油蝉でない fact15: 「タータンチェックでない」物があるならあの法政は油蝉だということはない fact16: もしもそのパパインはおっかしいとすると「あの法政はおっかしくない」ということは真実だ fact17: そのパパインは気弱くないがタータンチェックだ
void -> assump1: 以下のように仮定する。そのパパインは運悪い; fact5 & assump1 -> int1: そのパパインは合理的説明である; fact3 -> int2: 仮に「そのパパインは合理的説明だ」ということは成り立つとするとそれは共通する; int1 & int2 -> int3: 「そのパパインは共通する」ということは成り立つ; fact10 & fact17 -> int4: そのパパインは親しみ易くない; fact8 -> int5: もし仮にそのパパインは親しみ易くないとすれば「それは共通しない」ということは成り立つ; int4 & int5 -> int6: そのパパインは共通するということはない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: そのパパインは運悪くない; int8 -> int9: 「運悪くない」ものはある; int9 & fact14 -> int10: あの法政はおっかしいけどそれは油蝉であるということはない; int10 -> hypothesis;
あの法政はおっかしくない
fact22 -> int11: もし仮にあの御滝ちゃんは油蝉ならば「それは共通するということはないけれど運悪い」ということは成り立たない; fact19 -> int12: もし仮にあの御滝ちゃんがタータンチェックでないとすると親しみ易いしそれは油蝉だ; fact23 & fact18 -> int13: この武烈はオープンスタイルである; int13 -> int14: 「オープンスタイルな」ものはある; int14 & fact25 -> int15: あの固体粒子はオープンスタイルであるかそれはタータンチェックであるかもしくは両方ともである;
$facts$ = fact1: この生産者米価はおっかしい fact2: 「あの鼓打ちはオープンスタイルでないけれど気弱い」ということは真実でない fact3: もしもなにがしかのものが合理的説明なら共通する fact4: もしもあるものがオープンスタイルならあの固体粒子はオープンスタイルであるかもしくはタータンチェックであるかまたはどちらもである fact5: もしそのパパインが運悪いとしたら合理的説明だ fact6: そのパパインはタータンチェックだけれどおっかしくない fact7: もしもあの御滝ちゃんは運悪いということはないとすれば「そのパパインは合理的説明であるがしかしおっかしいということはない」ということは成り立たない fact8: 親しみ易くないものは共通しない fact9: なにがしかのものは油蝉なら「それは共通しないが運悪い」ということは成り立たない fact10: 仮にそのパパインは気弱くないけれどタータンチェックであるなら親しみ易くない fact11: もし仮にあの固体粒子がオープンスタイルならあの御滝ちゃんはタータンチェックだということはない fact12: もし仮に何かはタータンチェックであるということはないとすると親しみ易くて油蝉だ fact13: もし仮に「あの鼓打ちはオープンスタイルでないけれどそれは気弱い」ということは誤っているとしたらこの武烈はオープンスタイルである fact14: 仮に「「運悪くない」ということは確かな」物があるならあの法政はおっかしいけど油蝉でない fact15: 「タータンチェックでない」物があるならあの法政は油蝉だということはない fact16: もしもそのパパインはおっかしいとすると「あの法政はおっかしくない」ということは真実だ fact17: そのパパインは気弱くないがタータンチェックだ ; $hypothesis$ = あの法政はおっかしい ; $proof$ = 
void -> assump1: 以下のように仮定する。そのパパインは運悪い; fact5 & assump1 -> int1: そのパパインは合理的説明である; fact3 -> int2: 仮に「そのパパインは合理的説明だ」ということは成り立つとするとそれは共通する; int1 & int2 -> int3: 「そのパパインは共通する」ということは成り立つ; fact10 & fact17 -> int4: そのパパインは親しみ易くない; fact8 -> int5: もし仮にそのパパインは親しみ易くないとすれば「それは共通しない」ということは成り立つ; int4 & int5 -> int6: そのパパインは共通するということはない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: そのパパインは運悪くない; int8 -> int9: 「運悪くない」ものはある; int9 & fact14 -> int10: あの法政はおっかしいけどそれは油蝉であるということはない; int10 -> hypothesis; __PROVED__
事実1: この生産者米価はおっかしい
事実2: 「あの鼓打ちはオープンスタイルでないけれど気弱い」ということは真実でない
事実3: もしもなにがしかのものが合理的説明なら共通する
事実4: もしもあるものがオープンスタイルならあの固体粒子はオープンスタイルであるかもしくはタータンチェックであるかまたはどちらもである
事実5: もしそのパパインが運悪いとしたら合理的説明だ
事実6: そのパパインはタータンチェックだけれどおっかしくない
事実7: もしもあの御滝ちゃんは運悪いということはないとすれば「そのパパインは合理的説明であるがしかしおっかしいということはない」ということは成り立たない
事実8: 親しみ易くないものは共通しない
事実9: なにがしかのものは油蝉なら「それは共通しないが運悪い」ということは成り立たない
事実10: 仮にそのパパインは気弱くないけれどタータンチェックであるなら親しみ易くない
事実11: もし仮にあの固体粒子がオープンスタイルならあの御滝ちゃんはタータンチェックだということはない
事実12: もし仮に何かはタータンチェックであるということはないとすると親しみ易くて油蝉だ
事実13: もし仮に「あの鼓打ちはオープンスタイルでないけれどそれは気弱い」ということは誤っているとしたらこの武烈はオープンスタイルである
事実14: 仮に「「運悪くない」ということは確かな」物があるならあの法政はおっかしいけど油蝉でない
事実15: 「タータンチェックでない」物があるならあの法政は油蝉だということはない
事実16: もしもそのパパインはおっかしいとすると「あの法政はおっかしくない」ということは真実だ
事実17: そのパパインは気弱くないがタータンチェックだ

仮説: あの法政はおっかしい
1. 仮定1: 以下のように仮定する。そのパパインは運悪い
2. 事実5と仮定1から、推論1: "そのパパインは合理的説明である"が導かれる
3. 事実3から、推論2: "仮に「そのパパインは合理的説明だ」ということは成り立つとするとそれは共通する"が導かれる
4. 推論1と推論2から、推論3: "「そのパパインは共通する」ということは成り立つ"が導かれる
5. 事実10と事実17から、推論4: "そのパパインは親しみ易くない"が導かれる
6. 事実8から、推論5: "もし仮にそのパパインは親しみ易くないとすれば「それは共通しない」ということは成り立つ"が導かれる
7. 推論4と推論5から、推論6: "そのパパインは共通するということはない"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "そのパパインは運悪くない"が導かれる
10. 推論8から、推論9: "「運悪くない」ものはある"が導かれる
11. 推論9と事実14から、推論10: "あの法政はおっかしいけどそれは油蝉であるということはない"が導かれる
12. 推論10から、仮説が導かれる

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