この執行証書は売り込めない一方でつべたい
fact1: 「この備忘録は仲睦まじくないしさらに片袖でない」ということは間違っている fact2: もしもあのコントロールキーは御稽古するとすると「あの始まり方は溶けるがしかし呈し始めない」ということは成り立たない fact3: もしあの始まり方が売り込めないなら纏まらないけれど当法である fact4: 「この備忘録は片袖であるということはなくて纏まるということはない」ということは本当だということはない fact5: 「「「あのコントロールキーは当法だ一方でそれは扱い易くない」ということは成り立つ」ということは誤りであるならばこの執行証書は御稽古する」ということは本当だ fact6: 「あの始まり方は扱い易いけれど世界貿易センタービル北棟であるということはない」ということは成り立たない fact7: 仮になにがしかのものは御稽古するとしたら「それは売り込めないがしかしつべたい」ということは偽だ fact8: 仮になにかは当法であるということはない一方で扱い易いなら御稽古しない fact9: もしなんらかの物が纏まらないとするとそれは売り込めるということはないししかもつべたい fact10: 仮に何かはスピードメーターであるとしたら「片袖だ」ということは事実である fact11: もし仮になんらかのものが片袖だということはないとすれば当法である fact12: もしも「この備忘録は当法だがしかし片袖でない」ということは偽であるとしたら呈し始める fact13: 仮にこの執行証書が片袖でないとしたらそれは仲睦まじくなくて加えて売り込める fact14: もし仮にこの執行証書が片袖でないとすると当法でないし加えて纏まる fact15: もし仮に「この備忘録は纏まらないし売り込めない」ということは嘘だとすればこの執行証書は売り込めない fact16: この備忘録は扱い易い fact17: この備忘録が纏まらないとすれば片袖でない fact18: もしあのコントロールキーは片袖ならば「それは纏まる」ということは事実である fact19: 「この備忘録はタグ付けでない一方で売り込める」ということは間違いだ fact20: 「あの始まり方は売り込めるけれどそれは呈し始めない」ということは嘘である fact21: 「なにかは溶ける一方で呈し始めない」ということは成り立つということはないとすればそれは扱い易い fact22: 「あのコントロールキーは忍び難い一方で呈し始めない」ということは誤っている fact23: 「あの始まり方は仲睦まじくなくて片袖でない」ということは成り立つということはない fact24: もしもその大規模臨床研究が断線しないとすれば溶ける fact25: もし仮にあの始まり方が当法だしその上扱い易いとすればこの執行証書は纏まらない fact26: あのコントロールキーは御稽古する fact27: もしこの備忘録が呈し始めないとすると仲睦まじい fact28: あの問題解決方法は御稽古する fact29: もし「この備忘録は仲睦まじくないしその上片袖でない」ということは嘘だとすればあの始まり方は片袖でない
fact2 & fact26 -> int1: 「あの始まり方は溶けるが呈し始めない」ということは嘘である; fact21 -> int2: もしも「あの始まり方は溶けるが呈し始めない」ということは事実でないとしたら扱い易い; int1 & int2 -> int3: あの始まり方は扱い易い; fact11 -> int4: もし「あの始まり方は片袖だということはない」ということは事実であるとすれば当法である; fact29 & fact1 -> int5: あの始まり方は片袖であるということはない; int4 & int5 -> int6: あの始まり方は当法だ; int3 & int6 -> int7: あの始まり方は当法だしその上扱い易い; int7 & fact25 -> int8: この執行証書は纏まらない; fact9 -> int9: 仮にこの執行証書が纏まらないとするとそれは売り込めないけれどつべたい; int8 & int9 -> hypothesis;
「この執行証書は売り込めるということはないけれどつべたい」ということは嘘である
fact30 -> int10: この執行証書が当法でないけれど扱い易いとしたら御稽古しない;
$facts$ = fact1: 「この備忘録は仲睦まじくないしさらに片袖でない」ということは間違っている fact2: もしもあのコントロールキーは御稽古するとすると「あの始まり方は溶けるがしかし呈し始めない」ということは成り立たない fact3: もしあの始まり方が売り込めないなら纏まらないけれど当法である fact4: 「この備忘録は片袖であるということはなくて纏まるということはない」ということは本当だということはない fact5: 「「「あのコントロールキーは当法だ一方でそれは扱い易くない」ということは成り立つ」ということは誤りであるならばこの執行証書は御稽古する」ということは本当だ fact6: 「あの始まり方は扱い易いけれど世界貿易センタービル北棟であるということはない」ということは成り立たない fact7: 仮になにがしかのものは御稽古するとしたら「それは売り込めないがしかしつべたい」ということは偽だ fact8: 仮になにかは当法であるということはない一方で扱い易いなら御稽古しない fact9: もしなんらかの物が纏まらないとするとそれは売り込めるということはないししかもつべたい fact10: 仮に何かはスピードメーターであるとしたら「片袖だ」ということは事実である fact11: もし仮になんらかのものが片袖だということはないとすれば当法である fact12: もしも「この備忘録は当法だがしかし片袖でない」ということは偽であるとしたら呈し始める fact13: 仮にこの執行証書が片袖でないとしたらそれは仲睦まじくなくて加えて売り込める fact14: もし仮にこの執行証書が片袖でないとすると当法でないし加えて纏まる fact15: もし仮に「この備忘録は纏まらないし売り込めない」ということは嘘だとすればこの執行証書は売り込めない fact16: この備忘録は扱い易い fact17: この備忘録が纏まらないとすれば片袖でない fact18: もしあのコントロールキーは片袖ならば「それは纏まる」ということは事実である fact19: 「この備忘録はタグ付けでない一方で売り込める」ということは間違いだ fact20: 「あの始まり方は売り込めるけれどそれは呈し始めない」ということは嘘である fact21: 「なにかは溶ける一方で呈し始めない」ということは成り立つということはないとすればそれは扱い易い fact22: 「あのコントロールキーは忍び難い一方で呈し始めない」ということは誤っている fact23: 「あの始まり方は仲睦まじくなくて片袖でない」ということは成り立つということはない fact24: もしもその大規模臨床研究が断線しないとすれば溶ける fact25: もし仮にあの始まり方が当法だしその上扱い易いとすればこの執行証書は纏まらない fact26: あのコントロールキーは御稽古する fact27: もしこの備忘録が呈し始めないとすると仲睦まじい fact28: あの問題解決方法は御稽古する fact29: もし「この備忘録は仲睦まじくないしその上片袖でない」ということは嘘だとすればあの始まり方は片袖でない ; $hypothesis$ = この執行証書は売り込めない一方でつべたい ; $proof$ = 
fact2 & fact26 -> int1: 「あの始まり方は溶けるが呈し始めない」ということは嘘である; fact21 -> int2: もしも「あの始まり方は溶けるが呈し始めない」ということは事実でないとしたら扱い易い; int1 & int2 -> int3: あの始まり方は扱い易い; fact11 -> int4: もし「あの始まり方は片袖だということはない」ということは事実であるとすれば当法である; fact29 & fact1 -> int5: あの始まり方は片袖であるということはない; int4 & int5 -> int6: あの始まり方は当法だ; int3 & int6 -> int7: あの始まり方は当法だしその上扱い易い; int7 & fact25 -> int8: この執行証書は纏まらない; fact9 -> int9: 仮にこの執行証書が纏まらないとするとそれは売り込めないけれどつべたい; int8 & int9 -> hypothesis; __PROVED__
事実1: 「この備忘録は仲睦まじくないしさらに片袖でない」ということは間違っている
事実2: もしもあのコントロールキーは御稽古するとすると「あの始まり方は溶けるがしかし呈し始めない」ということは成り立たない
事実3: もしあの始まり方が売り込めないなら纏まらないけれど当法である
事実4: 「この備忘録は片袖であるということはなくて纏まるということはない」ということは本当だということはない
事実5: 「「「あのコントロールキーは当法だ一方でそれは扱い易くない」ということは成り立つ」ということは誤りであるならばこの執行証書は御稽古する」ということは本当だ
事実6: 「あの始まり方は扱い易いけれど世界貿易センタービル北棟であるということはない」ということは成り立たない
事実7: 仮になにがしかのものは御稽古するとしたら「それは売り込めないがしかしつべたい」ということは偽だ
事実8: 仮になにかは当法であるということはない一方で扱い易いなら御稽古しない
事実9: もしなんらかの物が纏まらないとするとそれは売り込めるということはないししかもつべたい
事実10: 仮に何かはスピードメーターであるとしたら「片袖だ」ということは事実である
事実11: もし仮になんらかのものが片袖だということはないとすれば当法である
事実12: もしも「この備忘録は当法だがしかし片袖でない」ということは偽であるとしたら呈し始める
事実13: 仮にこの執行証書が片袖でないとしたらそれは仲睦まじくなくて加えて売り込める
事実14: もし仮にこの執行証書が片袖でないとすると当法でないし加えて纏まる
事実15: もし仮に「この備忘録は纏まらないし売り込めない」ということは嘘だとすればこの執行証書は売り込めない
事実16: この備忘録は扱い易い
事実17: この備忘録が纏まらないとすれば片袖でない
事実18: もしあのコントロールキーは片袖ならば「それは纏まる」ということは事実である
事実19: 「この備忘録はタグ付けでない一方で売り込める」ということは間違いだ
事実20: 「あの始まり方は売り込めるけれどそれは呈し始めない」ということは嘘である
事実21: 「なにかは溶ける一方で呈し始めない」ということは成り立つということはないとすればそれは扱い易い
事実22: 「あのコントロールキーは忍び難い一方で呈し始めない」ということは誤っている
事実23: 「あの始まり方は仲睦まじくなくて片袖でない」ということは成り立つということはない
事実24: もしもその大規模臨床研究が断線しないとすれば溶ける
事実25: もし仮にあの始まり方が当法だしその上扱い易いとすればこの執行証書は纏まらない
事実26: あのコントロールキーは御稽古する
事実27: もしこの備忘録が呈し始めないとすると仲睦まじい
事実28: あの問題解決方法は御稽古する
事実29: もし「この備忘録は仲睦まじくないしその上片袖でない」ということは嘘だとすればあの始まり方は片袖でない

仮説: この執行証書は売り込めない一方でつべたい
1. 事実2と事実26から、推論1: "「あの始まり方は溶けるが呈し始めない」ということは嘘である"が導かれる
2. 事実21から、推論2: "もしも「あの始まり方は溶けるが呈し始めない」ということは事実でないとしたら扱い易い"が導かれる
3. 推論1と推論2から、推論3: "あの始まり方は扱い易い"が導かれる
4. 事実11から、推論4: "もし「あの始まり方は片袖だということはない」ということは事実であるとすれば当法である"が導かれる
5. 事実29と事実1から、推論5: "あの始まり方は片袖であるということはない"が導かれる
6. 推論4と推論5から、推論6: "あの始まり方は当法だ"が導かれる
7. 推論3と推論6から、推論7: "あの始まり方は当法だしその上扱い易い"が導かれる
8. 推論7と事実25から、推論8: "この執行証書は纏まらない"が導かれる
9. 事実9から、推論9: "仮にこの執行証書が纏まらないとするとそれは売り込めないけれどつべたい"が導かれる
10. 推論8と推論9から、仮説が導かれる

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