この特別退職金は召し使いでないけれどそれはうら若い
fact1: その戦競は焼き難いかもしくはそれは話し辛くないかもしくは両方だ fact2: 「あの○○党がＦＩＦＡ総会だしその上製品化出来る」ということは間違いでないとすればこのオールインワンパスはＦＩＦＡ総会でない fact3: この特別退職金はうら若い fact4: もしも何らかのものはＦＩＦＡ総会でないとすると「発生するしおまけに素っ気ない」ということは確かだということはない fact5: この特別退職金は調べ易い fact6: この特別退職金はナインパッチである fact7: このオールインワンパスは話し辛い fact8: 仮にその戦競がちまちまするかまたはそれが拠出出来るということはないか両方ともであるならこのオールインワンパスは焼き難い fact9: もし仮にその戦競がどうしても欲しいということはないとしたらこの特別退職金は拠出出来るしその上ちまちまする fact10: 「このオールインワンパスは召し使いである」ということは真実であるとするとこの特別退職金はうら若い fact11: 仮になにがしかの物はちまちまするなら「召し使いでないしかつうら若い」ということは偽である fact12: その戦競は焼き難いかまたは話し辛い fact13: 仮にその戦競が焼き難いかそれが話し辛くないかあるいは両方ともだとすればこのオールインワンパスは拠出出来る fact14: あの○○党が有り難しということはないならばそれがＦＩＦＡ総会だしかつ製品化出来る fact15: 「このオールインワンパスは素っ気ない」ということは確かである fact16: 何らかの物はどうしても欲しいならば「それは拠出出来るししかもちまちましない」ということは誤りだ fact17: もし仮にとある物がちまちまするなら召し使いである fact18: もし仮にその戦競が話し辛くないならばあのオールインワンパスは拠出出来る fact19: このオールインワンパスはどうしても欲しいしさらに素っ気ない fact20: もしこのオールインワンパスが召し使いだとすればこの特別退職金は召し使いだということはないがうら若い
fact13 & fact1 -> int1: このオールインワンパスは拠出出来る; void -> assump1: 以下のように仮定する。「このオールインワンパスはちまちましない」ということは真実だ; int1 & assump1 -> int2: このオールインワンパスは拠出出来るがしかしそれはちまちましない; fact19 -> int3: このオールインワンパスはどうしても欲しい; fact16 -> int4: もし「このオールインワンパスはどうしても欲しい」ということは成り立つとすれば「それは拠出出来るしちまちましない」ということは嘘だ; int3 & int4 -> int5: 「このオールインワンパスは拠出出来るけれどちまちまするということはない」ということは成り立たない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「このオールインワンパスはちまちまする」ということは真実である; fact17 -> int8: もしもこのオールインワンパスがちまちますれば召し使いだ; int7 & int8 -> int9: このオールインワンパスは召し使いだ; int9 & fact20 -> hypothesis;
「この特別退職金は召し使いでないがそれはうら若い」ということは間違っている
fact23 -> int10: もし「この特別退職金はちまちまする」ということは成り立つとすると「それは召し使いでないけれどうら若い」ということは事実と異なる; fact22 -> int11: 仮にこのオールインワンパスはＦＩＦＡ総会でないとすれば「それは発生するしおまけに素っ気ない」ということは間違いだ;
$facts$ = fact1: その戦競は焼き難いかもしくはそれは話し辛くないかもしくは両方だ fact2: 「あの○○党がＦＩＦＡ総会だしその上製品化出来る」ということは間違いでないとすればこのオールインワンパスはＦＩＦＡ総会でない fact3: この特別退職金はうら若い fact4: もしも何らかのものはＦＩＦＡ総会でないとすると「発生するしおまけに素っ気ない」ということは確かだということはない fact5: この特別退職金は調べ易い fact6: この特別退職金はナインパッチである fact7: このオールインワンパスは話し辛い fact8: 仮にその戦競がちまちまするかまたはそれが拠出出来るということはないか両方ともであるならこのオールインワンパスは焼き難い fact9: もし仮にその戦競がどうしても欲しいということはないとしたらこの特別退職金は拠出出来るしその上ちまちまする fact10: 「このオールインワンパスは召し使いである」ということは真実であるとするとこの特別退職金はうら若い fact11: 仮になにがしかの物はちまちまするなら「召し使いでないしかつうら若い」ということは偽である fact12: その戦競は焼き難いかまたは話し辛い fact13: 仮にその戦競が焼き難いかそれが話し辛くないかあるいは両方ともだとすればこのオールインワンパスは拠出出来る fact14: あの○○党が有り難しということはないならばそれがＦＩＦＡ総会だしかつ製品化出来る fact15: 「このオールインワンパスは素っ気ない」ということは確かである fact16: 何らかの物はどうしても欲しいならば「それは拠出出来るししかもちまちましない」ということは誤りだ fact17: もし仮にとある物がちまちまするなら召し使いである fact18: もし仮にその戦競が話し辛くないならばあのオールインワンパスは拠出出来る fact19: このオールインワンパスはどうしても欲しいしさらに素っ気ない fact20: もしこのオールインワンパスが召し使いだとすればこの特別退職金は召し使いだということはないがうら若い ; $hypothesis$ = この特別退職金は召し使いでないけれどそれはうら若い ; $proof$ = 
fact13 & fact1 -> int1: このオールインワンパスは拠出出来る; void -> assump1: 以下のように仮定する。「このオールインワンパスはちまちましない」ということは真実だ; int1 & assump1 -> int2: このオールインワンパスは拠出出来るがしかしそれはちまちましない; fact19 -> int3: このオールインワンパスはどうしても欲しい; fact16 -> int4: もし「このオールインワンパスはどうしても欲しい」ということは成り立つとすれば「それは拠出出来るしちまちましない」ということは嘘だ; int3 & int4 -> int5: 「このオールインワンパスは拠出出来るけれどちまちまするということはない」ということは成り立たない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「このオールインワンパスはちまちまする」ということは真実である; fact17 -> int8: もしもこのオールインワンパスがちまちますれば召し使いだ; int7 & int8 -> int9: このオールインワンパスは召し使いだ; int9 & fact20 -> hypothesis; __PROVED__
事実1: その戦競は焼き難いかもしくはそれは話し辛くないかもしくは両方だ
事実2: 「あの○○党がＦＩＦＡ総会だしその上製品化出来る」ということは間違いでないとすればこのオールインワンパスはＦＩＦＡ総会でない
事実3: この特別退職金はうら若い
事実4: もしも何らかのものはＦＩＦＡ総会でないとすると「発生するしおまけに素っ気ない」ということは確かだということはない
事実5: この特別退職金は調べ易い
事実6: この特別退職金はナインパッチである
事実7: このオールインワンパスは話し辛い
事実8: 仮にその戦競がちまちまするかまたはそれが拠出出来るということはないか両方ともであるならこのオールインワンパスは焼き難い
事実9: もし仮にその戦競がどうしても欲しいということはないとしたらこの特別退職金は拠出出来るしその上ちまちまする
事実10: 「このオールインワンパスは召し使いである」ということは真実であるとするとこの特別退職金はうら若い
事実11: 仮になにがしかの物はちまちまするなら「召し使いでないしかつうら若い」ということは偽である
事実12: その戦競は焼き難いかまたは話し辛い
事実13: 仮にその戦競が焼き難いかそれが話し辛くないかあるいは両方ともだとすればこのオールインワンパスは拠出出来る
事実14: あの○○党が有り難しということはないならばそれがＦＩＦＡ総会だしかつ製品化出来る
事実15: 「このオールインワンパスは素っ気ない」ということは確かである
事実16: 何らかの物はどうしても欲しいならば「それは拠出出来るししかもちまちましない」ということは誤りだ
事実17: もし仮にとある物がちまちまするなら召し使いである
事実18: もし仮にその戦競が話し辛くないならばあのオールインワンパスは拠出出来る
事実19: このオールインワンパスはどうしても欲しいしさらに素っ気ない
事実20: もしこのオールインワンパスが召し使いだとすればこの特別退職金は召し使いだということはないがうら若い

仮説: この特別退職金は召し使いでないけれどそれはうら若い
1. 事実13と事実1から、推論1: "このオールインワンパスは拠出出来る"が導かれる
2. 仮定1: 以下のように仮定する。「このオールインワンパスはちまちましない」ということは真実だ
3. 推論1と仮定1から、推論2: "このオールインワンパスは拠出出来るがしかしそれはちまちましない"が導かれる
4. 事実19から、推論3: "このオールインワンパスはどうしても欲しい"が導かれる
5. 事実16から、推論4: "もし「このオールインワンパスはどうしても欲しい」ということは成り立つとすれば「それは拠出出来るしちまちましない」ということは嘘だ"が導かれる
6. 推論3と推論4から、推論5: "「このオールインワンパスは拠出出来るけれどちまちまするということはない」ということは成り立たない"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "「このオールインワンパスはちまちまする」ということは真実である"が導かれる
9. 事実17から、推論8: "もしもこのオールインワンパスがちまちますれば召し使いだ"が導かれる
10. 推論7と推論8から、推論9: "このオールインワンパスは召し使いだ"が導かれる
11. 推論9と事実20から、仮説が導かれる

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