もし仮にあのオープン試験は冗談っぽいとすると「この若党は目的無しけど嘆かわしくない」ということは成り立つ
fact1: この若党は嘆かわしいし惜しみ無い fact2: 仮にあのオープン試験が嘆かわしいとするとこの若党は冗談っぽいがしかし目的無しない fact3: もしもあのオープン試験が目的無しないとしたらこの若党は嘆かわしいがそれは目的無しない fact4: もし仮にあのオープン試験が目的無しないとしたらこの若党は嘆かわしくて目的無し fact5: もしあのオープン試験が嘆かわしくないとするとこの若党は目的無しが嘆かわしくない fact6: もしこの若党が目的無しとするとそれは冗談っぽくない fact7: もし仮にあのオープン試験が冗談っぽいとするとこの若党は堪り易いけど償却出来ない fact8: もし仮にこの若党が嘆かわしくないならあのオープン試験は目的無ししその上嘆かわしい fact9: もしこの若党が嘆かわしいならばあのオープン試験は目的無し fact10: この若党は冗談っぽい fact11: もし仮に「あのオープン試験は目的無しない」ということは成り立つとしたらこの若党は冗談っぽいけどそれは目的無しない fact12: もしこの若党が冗談っぽくないとするとあのオープン試験は目的無しがしかし冗談っぽくない fact13: この若党は難しい fact14: 仮にあのオープン試験が冗談っぽいとすればそれは嘆かわしくない fact15: 仮にこの若党が冗談っぽいということはないならばあのオープン試験は嘆かわしいけれどそれは冗談っぽくない fact16: もし仮にこの若党が国産インフレならそれは貧しくない fact17: もし仮にこの若党が嘆かわしくないとしたらあのオープン試験は目的無しけど嘆かわしくない fact18: そのＧＡＴＴルールが冗談っぽいならあの付託は涙ぐましい一方でダイＤでない fact19: この若党は冗談っぽい一方で目的無しない fact20: もしも「あの引き受け権は受け易い」ということは成り立つとすればこの若党は冗談っぽいけど嘆かわしくない
void -> assump1: 以下のように仮定する。あのオープン試験は冗談っぽい; fact14 & assump1 -> int1: あのオープン試験は嘆かわしくない; int1 & fact5 -> int2: この若党は目的無しけどそれは嘆かわしくない; [assump1] & int2 -> hypothesis;
$facts$ = fact1: この若党は嘆かわしいし惜しみ無い fact2: 仮にあのオープン試験が嘆かわしいとするとこの若党は冗談っぽいがしかし目的無しない fact3: もしもあのオープン試験が目的無しないとしたらこの若党は嘆かわしいがそれは目的無しない fact4: もし仮にあのオープン試験が目的無しないとしたらこの若党は嘆かわしくて目的無し fact5: もしあのオープン試験が嘆かわしくないとするとこの若党は目的無しが嘆かわしくない fact6: もしこの若党が目的無しとするとそれは冗談っぽくない fact7: もし仮にあのオープン試験が冗談っぽいとするとこの若党は堪り易いけど償却出来ない fact8: もし仮にこの若党が嘆かわしくないならあのオープン試験は目的無ししその上嘆かわしい fact9: もしこの若党が嘆かわしいならばあのオープン試験は目的無し fact10: この若党は冗談っぽい fact11: もし仮に「あのオープン試験は目的無しない」ということは成り立つとしたらこの若党は冗談っぽいけどそれは目的無しない fact12: もしこの若党が冗談っぽくないとするとあのオープン試験は目的無しがしかし冗談っぽくない fact13: この若党は難しい fact14: 仮にあのオープン試験が冗談っぽいとすればそれは嘆かわしくない fact15: 仮にこの若党が冗談っぽいということはないならばあのオープン試験は嘆かわしいけれどそれは冗談っぽくない fact16: もし仮にこの若党が国産インフレならそれは貧しくない fact17: もし仮にこの若党が嘆かわしくないとしたらあのオープン試験は目的無しけど嘆かわしくない fact18: そのＧＡＴＴルールが冗談っぽいならあの付託は涙ぐましい一方でダイＤでない fact19: この若党は冗談っぽい一方で目的無しない fact20: もしも「あの引き受け権は受け易い」ということは成り立つとすればこの若党は冗談っぽいけど嘆かわしくない ; $hypothesis$ = もし仮にあのオープン試験は冗談っぽいとすると「この若党は目的無しけど嘆かわしくない」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。あのオープン試験は冗談っぽい; fact14 & assump1 -> int1: あのオープン試験は嘆かわしくない; int1 & fact5 -> int2: この若党は目的無しけどそれは嘆かわしくない; [assump1] & int2 -> hypothesis; __PROVED__
事実1: この若党は嘆かわしいし惜しみ無い
事実2: 仮にあのオープン試験が嘆かわしいとするとこの若党は冗談っぽいがしかし目的無しない
事実3: もしもあのオープン試験が目的無しないとしたらこの若党は嘆かわしいがそれは目的無しない
事実4: もし仮にあのオープン試験が目的無しないとしたらこの若党は嘆かわしくて目的無し
事実5: もしあのオープン試験が嘆かわしくないとするとこの若党は目的無しが嘆かわしくない
事実6: もしこの若党が目的無しとするとそれは冗談っぽくない
事実7: もし仮にあのオープン試験が冗談っぽいとするとこの若党は堪り易いけど償却出来ない
事実8: もし仮にこの若党が嘆かわしくないならあのオープン試験は目的無ししその上嘆かわしい
事実9: もしこの若党が嘆かわしいならばあのオープン試験は目的無し
事実10: この若党は冗談っぽい
事実11: もし仮に「あのオープン試験は目的無しない」ということは成り立つとしたらこの若党は冗談っぽいけどそれは目的無しない
事実12: もしこの若党が冗談っぽくないとするとあのオープン試験は目的無しがしかし冗談っぽくない
事実13: この若党は難しい
事実14: 仮にあのオープン試験が冗談っぽいとすればそれは嘆かわしくない
事実15: 仮にこの若党が冗談っぽいということはないならばあのオープン試験は嘆かわしいけれどそれは冗談っぽくない
事実16: もし仮にこの若党が国産インフレならそれは貧しくない
事実17: もし仮にこの若党が嘆かわしくないとしたらあのオープン試験は目的無しけど嘆かわしくない
事実18: そのＧＡＴＴルールが冗談っぽいならあの付託は涙ぐましい一方でダイＤでない
事実19: この若党は冗談っぽい一方で目的無しない
事実20: もしも「あの引き受け権は受け易い」ということは成り立つとすればこの若党は冗談っぽいけど嘆かわしくない

仮説: もし仮にあのオープン試験は冗談っぽいとすると「この若党は目的無しけど嘆かわしくない」ということは成り立つ
1. 仮定1: 以下のように仮定する。あのオープン試験は冗談っぽい
2. 事実14と仮定1から、推論1: "あのオープン試験は嘆かわしくない"が導かれる
3. 推論1と事実5から、推論2: "この若党は目的無しけどそれは嘆かわしくない"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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