あの聖別は選抜するけど冗談ぽくない
fact1: あの保管状況は落っことすらない fact2: もしも何かは国際会議場でないとすると冗談ぽい fact3: 仮にとあるものが外殻であるかそれは国際会議場でないかもしくは両方ともであるならそれは冗談ぽい fact4: あの聖別は選抜するけれど外殻でない fact5: 仮にあの保管状況が落っことすらないとしたら外殻であるか国際会議場であるかどちらもだ fact6: 仮にあの保管状況が落っことすればあの聖別は冗談ぽいけれどそれは落っことすらない fact7: もしなんらかのものは落っことすということはないならば「選抜する一方で冗談ぽくない」ということは成り立たない fact8: あの保管状況は外殻であるかもしくは国際会議場である fact9: もしもあの保管状況が落っことすらないとすると外殻であるか国際会議場でないかどちらもである fact10: 仮にあの保管状況が冗談ぽいとするとあの聖別は選抜する一方でそれは冗談ぽくない fact11: もし仮にあの保管状況が国際会議場でないとすれば冗談ぽい fact12: あの保管状況は顕在化し易くない fact13: もしもなにがしかのものは掬い上げるかまたは二十軒であるということはないかまたは両方ともであるとしたらそれは荒立つ fact14: 「あの聖別は選抜する」ということは成り立つ fact15: もし仮にあの聖別は国際会議場でないなら「落っことすかそれは冗談ぽくないか両方ともである」ということは本当だ fact16: あの保管状況は二十軒だ fact17: 仮にあの保管状況が冗談ぽいならあの聖別は選抜する fact18: 仮になにがしかの物は役立ち得ないしそれに人らしくないならばそれは落っことすらない fact19: この千塚交差点は忠実忠実しいがしかし冗談ぽくない fact20: あの聖別が落っことすならあの保管状況は冗談ぽい一方で落っことすということはない fact21: もし「あの聖別は冗談ぽくない」ということは真実であるならそれは落っことすか外殻であるということはない
fact3 -> int1: 仮に「あの保管状況は外殻であるか国際会議場でないかまたはどちらもだ」ということは成り立つとすると冗談ぽい; fact9 & fact1 -> int2: あの保管状況は外殻であるかもしくはそれは国際会議場であるということはない; int1 & int2 -> int3: あの保管状況は冗談ぽい; int3 & fact10 -> hypothesis;
fact3 -> int1: ({AA}{aa} v ¬{AB}{aa}) -> {B}{aa}; fact9 & fact1 -> int2: ({AA}{aa} v ¬{AB}{aa}); int1 & int2 -> int3: {B}{aa}; int3 & fact10 -> hypothesis;
「あの聖別は選抜するけど冗談ぽくない」ということは成り立たない
fact23 -> int4: あの聖別は落っことすらないならば「それは選抜するし更にそれは冗談ぽくない」ということは間違っている; fact22 -> int5: もしもあの聖別は役立ち得るということはないししかも人らしいということはないとすれば落っことすらない;
$facts$ = fact1: あの保管状況は落っことすらない fact2: もしも何かは国際会議場でないとすると冗談ぽい fact3: 仮にとあるものが外殻であるかそれは国際会議場でないかもしくは両方ともであるならそれは冗談ぽい fact4: あの聖別は選抜するけれど外殻でない fact5: 仮にあの保管状況が落っことすらないとしたら外殻であるか国際会議場であるかどちらもだ fact6: 仮にあの保管状況が落っことすればあの聖別は冗談ぽいけれどそれは落っことすらない fact7: もしなんらかのものは落っことすということはないならば「選抜する一方で冗談ぽくない」ということは成り立たない fact8: あの保管状況は外殻であるかもしくは国際会議場である fact9: もしもあの保管状況が落っことすらないとすると外殻であるか国際会議場でないかどちらもである fact10: 仮にあの保管状況が冗談ぽいとするとあの聖別は選抜する一方でそれは冗談ぽくない fact11: もし仮にあの保管状況が国際会議場でないとすれば冗談ぽい fact12: あの保管状況は顕在化し易くない fact13: もしもなにがしかのものは掬い上げるかまたは二十軒であるということはないかまたは両方ともであるとしたらそれは荒立つ fact14: 「あの聖別は選抜する」ということは成り立つ fact15: もし仮にあの聖別は国際会議場でないなら「落っことすかそれは冗談ぽくないか両方ともである」ということは本当だ fact16: あの保管状況は二十軒だ fact17: 仮にあの保管状況が冗談ぽいならあの聖別は選抜する fact18: 仮になにがしかの物は役立ち得ないしそれに人らしくないならばそれは落っことすらない fact19: この千塚交差点は忠実忠実しいがしかし冗談ぽくない fact20: あの聖別が落っことすならあの保管状況は冗談ぽい一方で落っことすということはない fact21: もし「あの聖別は冗談ぽくない」ということは真実であるならそれは落っことすか外殻であるということはない ; $hypothesis$ = あの聖別は選抜するけど冗談ぽくない ; $proof$ = 
fact3 -> int1: 仮に「あの保管状況は外殻であるか国際会議場でないかまたはどちらもだ」ということは成り立つとすると冗談ぽい; fact9 & fact1 -> int2: あの保管状況は外殻であるかもしくはそれは国際会議場であるということはない; int1 & int2 -> int3: あの保管状況は冗談ぽい; int3 & fact10 -> hypothesis; __PROVED__
事実1: あの保管状況は落っことすらない
事実2: もしも何かは国際会議場でないとすると冗談ぽい
事実3: 仮にとあるものが外殻であるかそれは国際会議場でないかもしくは両方ともであるならそれは冗談ぽい
事実4: あの聖別は選抜するけれど外殻でない
事実5: 仮にあの保管状況が落っことすらないとしたら外殻であるか国際会議場であるかどちらもだ
事実6: 仮にあの保管状況が落っことすればあの聖別は冗談ぽいけれどそれは落っことすらない
事実7: もしなんらかのものは落っことすということはないならば「選抜する一方で冗談ぽくない」ということは成り立たない
事実8: あの保管状況は外殻であるかもしくは国際会議場である
事実9: もしもあの保管状況が落っことすらないとすると外殻であるか国際会議場でないかどちらもである
事実10: 仮にあの保管状況が冗談ぽいとするとあの聖別は選抜する一方でそれは冗談ぽくない
事実11: もし仮にあの保管状況が国際会議場でないとすれば冗談ぽい
事実12: あの保管状況は顕在化し易くない
事実13: もしもなにがしかのものは掬い上げるかまたは二十軒であるということはないかまたは両方ともであるとしたらそれは荒立つ
事実14: 「あの聖別は選抜する」ということは成り立つ
事実15: もし仮にあの聖別は国際会議場でないなら「落っことすかそれは冗談ぽくないか両方ともである」ということは本当だ
事実16: あの保管状況は二十軒だ
事実17: 仮にあの保管状況が冗談ぽいならあの聖別は選抜する
事実18: 仮になにがしかの物は役立ち得ないしそれに人らしくないならばそれは落っことすらない
事実19: この千塚交差点は忠実忠実しいがしかし冗談ぽくない
事実20: あの聖別が落っことすならあの保管状況は冗談ぽい一方で落っことすということはない
事実21: もし「あの聖別は冗談ぽくない」ということは真実であるならそれは落っことすか外殻であるということはない

仮説: あの聖別は選抜するけど冗談ぽくない
1. 事実3から、推論1: "仮に「あの保管状況は外殻であるか国際会議場でないかまたはどちらもだ」ということは成り立つとすると冗談ぽい"が導かれる
2. 事実9と事実1から、推論2: "あの保管状況は外殻であるかもしくはそれは国際会議場であるということはない"が導かれる
3. 推論1と推論2から、推論3: "あの保管状況は冗談ぽい"が導かれる
4. 推論3と事実10から、仮説が導かれる

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