「実験研究でない」ものはある
fact1: もしもあの小鍋がシュメール文明だということはないとするとそれは尻穴でないかもしくは最盛でないかまたは両方だ fact2: この目標管理は近付き得る fact3: もしそのライオンズが近付き得るしその上判別し難いならあの小鍋はシュメール文明だということはない fact4: 「あのテンションボルトは共有し得ないかそれは九歳児でないかあるいは両方ともである」ということは事実でない fact5: あの小鍋が尻穴であるということはないかあるいはそれは最盛でないかあるいは両方だとするとそれは実験研究でない fact6: そのライオンズは近付き得る fact7: 判別し難くないものは最盛だしそれに近付き得る fact8: あのテンションボルトは九歳児だ fact9: もしもなんらかの物が判別し難くないかまたはシュメール文明であるかもしくは両方ならば判別し難くない fact10: 仮に「あのテンションボルトは共有し得ないかあるいはそれは九歳児でない」ということは誤っているならばあのライオンズは判別し難い fact11: あの小鍋はタルトレット型であるしそれに考え難い
fact10 & fact4 -> int1: そのライオンズは判別し難い; int1 & fact6 -> int2: そのライオンズは近付き得るしさらにそれは判別し難い; int2 & fact3 -> int3: あの小鍋はシュメール文明でない; int3 & fact1 -> int4: あの小鍋は尻穴でないかまたは最盛でない; int4 & fact5 -> int5: あの小鍋は実験研究でない; int5 -> hypothesis;
あの孫共は最盛だ
fact12 -> int6: もしもあの孫共が判別し難くないとすればそれは最盛で近付き得る; fact13 -> int7: もしもあの孫共が判別し難くないかもしくはそれはシュメール文明であるか両方ともだとすれば判別し難くない;
$facts$ = fact1: もしもあの小鍋がシュメール文明だということはないとするとそれは尻穴でないかもしくは最盛でないかまたは両方だ fact2: この目標管理は近付き得る fact3: もしそのライオンズが近付き得るしその上判別し難いならあの小鍋はシュメール文明だということはない fact4: 「あのテンションボルトは共有し得ないかそれは九歳児でないかあるいは両方ともである」ということは事実でない fact5: あの小鍋が尻穴であるということはないかあるいはそれは最盛でないかあるいは両方だとするとそれは実験研究でない fact6: そのライオンズは近付き得る fact7: 判別し難くないものは最盛だしそれに近付き得る fact8: あのテンションボルトは九歳児だ fact9: もしもなんらかの物が判別し難くないかまたはシュメール文明であるかもしくは両方ならば判別し難くない fact10: 仮に「あのテンションボルトは共有し得ないかあるいはそれは九歳児でない」ということは誤っているならばあのライオンズは判別し難い fact11: あの小鍋はタルトレット型であるしそれに考え難い ; $hypothesis$ = 「実験研究でない」ものはある ; $proof$ = 
fact10 & fact4 -> int1: そのライオンズは判別し難い; int1 & fact6 -> int2: そのライオンズは近付き得るしさらにそれは判別し難い; int2 & fact3 -> int3: あの小鍋はシュメール文明でない; int3 & fact1 -> int4: あの小鍋は尻穴でないかまたは最盛でない; int4 & fact5 -> int5: あの小鍋は実験研究でない; int5 -> hypothesis; __PROVED__
事実1: もしもあの小鍋がシュメール文明だということはないとするとそれは尻穴でないかもしくは最盛でないかまたは両方だ
事実2: この目標管理は近付き得る
事実3: もしそのライオンズが近付き得るしその上判別し難いならあの小鍋はシュメール文明だということはない
事実4: 「あのテンションボルトは共有し得ないかそれは九歳児でないかあるいは両方ともである」ということは事実でない
事実5: あの小鍋が尻穴であるということはないかあるいはそれは最盛でないかあるいは両方だとするとそれは実験研究でない
事実6: そのライオンズは近付き得る
事実7: 判別し難くないものは最盛だしそれに近付き得る
事実8: あのテンションボルトは九歳児だ
事実9: もしもなんらかの物が判別し難くないかまたはシュメール文明であるかもしくは両方ならば判別し難くない
事実10: 仮に「あのテンションボルトは共有し得ないかあるいはそれは九歳児でない」ということは誤っているならばあのライオンズは判別し難い
事実11: あの小鍋はタルトレット型であるしそれに考え難い

仮説: 「実験研究でない」ものはある
1. 事実10と事実4から、推論1: "そのライオンズは判別し難い"が導かれる
2. 推論1と事実6から、推論2: "そのライオンズは近付き得るしさらにそれは判別し難い"が導かれる
3. 推論2と事実3から、推論3: "あの小鍋はシュメール文明でない"が導かれる
4. 推論3と事実1から、推論4: "あの小鍋は尻穴でないかまたは最盛でない"が導かれる
5. 推論4と事実5から、推論5: "あの小鍋は実験研究でない"が導かれる
6. 推論5から、仮説が導かれる

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