この棗椰子は高しないかあるいは掃除し易い
fact1: 「「ＵＳＭだ」ということは成り立つ」物はある fact2: その狂言師は拭き終わらなくて更にそれは口惜しくない fact3: その事業計画認可は入れ難くなくて読み辛くない fact4: あの消費財市場は眠たい fact5: 仮に何かは主権平等でなくて漏らさないとするとそれは自分らしい fact6: もし仮に何かは啜り上げないならば「高しないかそれは掃除し易いかまたは両方ともである」ということは偽である fact7: もし仮に眠たいものが拭き終わらないとするとその狂言師は粉っぽくない fact8: 仮にあの高塔が口惜しくないならばその狂言師は拭き終わらなくてまたそれは倍加するということはない fact9: この無は粉っぽい fact10: あの高塔は倍加する fact11: 「口惜しくない」ものはある fact12: もしなにがしかの物が啜り上げるけど眠たくないとすればこの無は粉っぽいということはない fact13: 仮になにかは拭き終わるとしたらそれは口惜しい fact14: 仮にこの棗椰子が拭き終わるとすればこの川上神社は掃除し易いということはなくてかつ啜り上げない fact15: 仮にこの川上神社が拭き終わらないならばあの狂言師は自分らしくないし加えてそれは主権平等でない fact16: あの高塔は自分らしいしそれに倍加する fact17: もしも「ＵＳＭである」物があるならばあの川上神社は啜り上げるしそれは眠たい fact18: もしもこの川上神社が啜り上げるししかもそれが自分らしいとしたらあの高塔は口惜しくない fact19: 「啜り上げる」ものはある fact20: このエラータイプは漏らすし加えてそれは躁病だ fact21: 仮にある物が拭き終わらなくてそれが倍加しないとするとこの棗椰子は高しない fact22: 仮にこの無が粉っぽいとしたらこの川上神社は主権平等でないし更にそれは漏らすということはない
fact5 -> int1: この川上神社は主権平等でなくてその上漏らさないならば自分らしい; fact9 & fact22 -> int2: この川上神社は主権平等だということはないしおまけにそれは漏らさない; int1 & int2 -> int3: この川上神社は自分らしい; fact17 & fact1 -> int4: この川上神社は啜り上げるしその上眠たい; int4 -> int5: この川上神社は啜り上げる; int3 & int5 -> int6: 「この川上神社は啜り上げるしそれに自分らしい」ということは真実だ; int6 & fact18 -> int7: 「あの高塔は口惜しくない」ということは確かだ; int7 & fact8 -> int8: その狂言師は拭き終わらないしおまけに倍加するということはない; int8 -> int9: なんらかの物は拭き終わるということはなくて加えてそれは倍加しない; int9 & fact21 -> int10: この棗椰子は高しということはない; int10 -> hypothesis;
「この棗椰子は高しないかもしくは掃除し易いかもしくは両方である」ということは偽である
fact23 -> int11: もし仮にこの棗椰子は啜り上げないとしたら「それは高しということはないかまたは掃除し易いかもしくは両方だ」ということは嘘だ; fact24 -> int12: もし「あの高塔は拭き終わる」ということは確かであるとするとそれは口惜しい; fact25 -> int13: あの高塔は自分らしい;
$facts$ = fact1: 「「ＵＳＭだ」ということは成り立つ」物はある fact2: その狂言師は拭き終わらなくて更にそれは口惜しくない fact3: その事業計画認可は入れ難くなくて読み辛くない fact4: あの消費財市場は眠たい fact5: 仮に何かは主権平等でなくて漏らさないとするとそれは自分らしい fact6: もし仮に何かは啜り上げないならば「高しないかそれは掃除し易いかまたは両方ともである」ということは偽である fact7: もし仮に眠たいものが拭き終わらないとするとその狂言師は粉っぽくない fact8: 仮にあの高塔が口惜しくないならばその狂言師は拭き終わらなくてまたそれは倍加するということはない fact9: この無は粉っぽい fact10: あの高塔は倍加する fact11: 「口惜しくない」ものはある fact12: もしなにがしかの物が啜り上げるけど眠たくないとすればこの無は粉っぽいということはない fact13: 仮になにかは拭き終わるとしたらそれは口惜しい fact14: 仮にこの棗椰子が拭き終わるとすればこの川上神社は掃除し易いということはなくてかつ啜り上げない fact15: 仮にこの川上神社が拭き終わらないならばあの狂言師は自分らしくないし加えてそれは主権平等でない fact16: あの高塔は自分らしいしそれに倍加する fact17: もしも「ＵＳＭである」物があるならばあの川上神社は啜り上げるしそれは眠たい fact18: もしもこの川上神社が啜り上げるししかもそれが自分らしいとしたらあの高塔は口惜しくない fact19: 「啜り上げる」ものはある fact20: このエラータイプは漏らすし加えてそれは躁病だ fact21: 仮にある物が拭き終わらなくてそれが倍加しないとするとこの棗椰子は高しない fact22: 仮にこの無が粉っぽいとしたらこの川上神社は主権平等でないし更にそれは漏らすということはない ; $hypothesis$ = この棗椰子は高しないかあるいは掃除し易い ; $proof$ = 
fact5 -> int1: この川上神社は主権平等でなくてその上漏らさないならば自分らしい; fact9 & fact22 -> int2: この川上神社は主権平等だということはないしおまけにそれは漏らさない; int1 & int2 -> int3: この川上神社は自分らしい; fact17 & fact1 -> int4: この川上神社は啜り上げるしその上眠たい; int4 -> int5: この川上神社は啜り上げる; int3 & int5 -> int6: 「この川上神社は啜り上げるしそれに自分らしい」ということは真実だ; int6 & fact18 -> int7: 「あの高塔は口惜しくない」ということは確かだ; int7 & fact8 -> int8: その狂言師は拭き終わらないしおまけに倍加するということはない; int8 -> int9: なんらかの物は拭き終わるということはなくて加えてそれは倍加しない; int9 & fact21 -> int10: この棗椰子は高しということはない; int10 -> hypothesis; __PROVED__
事実1: 「「ＵＳＭだ」ということは成り立つ」物はある
事実2: その狂言師は拭き終わらなくて更にそれは口惜しくない
事実3: その事業計画認可は入れ難くなくて読み辛くない
事実4: あの消費財市場は眠たい
事実5: 仮に何かは主権平等でなくて漏らさないとするとそれは自分らしい
事実6: もし仮に何かは啜り上げないならば「高しないかそれは掃除し易いかまたは両方ともである」ということは偽である
事実7: もし仮に眠たいものが拭き終わらないとするとその狂言師は粉っぽくない
事実8: 仮にあの高塔が口惜しくないならばその狂言師は拭き終わらなくてまたそれは倍加するということはない
事実9: この無は粉っぽい
事実10: あの高塔は倍加する
事実11: 「口惜しくない」ものはある
事実12: もしなにがしかの物が啜り上げるけど眠たくないとすればこの無は粉っぽいということはない
事実13: 仮になにかは拭き終わるとしたらそれは口惜しい
事実14: 仮にこの棗椰子が拭き終わるとすればこの川上神社は掃除し易いということはなくてかつ啜り上げない
事実15: 仮にこの川上神社が拭き終わらないならばあの狂言師は自分らしくないし加えてそれは主権平等でない
事実16: あの高塔は自分らしいしそれに倍加する
事実17: もしも「ＵＳＭである」物があるならばあの川上神社は啜り上げるしそれは眠たい
事実18: もしもこの川上神社が啜り上げるししかもそれが自分らしいとしたらあの高塔は口惜しくない
事実19: 「啜り上げる」ものはある
事実20: このエラータイプは漏らすし加えてそれは躁病だ
事実21: 仮にある物が拭き終わらなくてそれが倍加しないとするとこの棗椰子は高しない
事実22: 仮にこの無が粉っぽいとしたらこの川上神社は主権平等でないし更にそれは漏らすということはない

仮説: この棗椰子は高しないかあるいは掃除し易い
1. 事実5から、推論1: "この川上神社は主権平等でなくてその上漏らさないならば自分らしい"が導かれる
2. 事実9と事実22から、推論2: "この川上神社は主権平等だということはないしおまけにそれは漏らさない"が導かれる
3. 推論1と推論2から、推論3: "この川上神社は自分らしい"が導かれる
4. 事実17と事実1から、推論4: "この川上神社は啜り上げるしその上眠たい"が導かれる
5. 推論4から、推論5: "この川上神社は啜り上げる"が導かれる
6. 推論3と推論5から、推論6: "「この川上神社は啜り上げるしそれに自分らしい」ということは真実だ"が導かれる
7. 推論6と事実18から、推論7: "「あの高塔は口惜しくない」ということは確かだ"が導かれる
8. 推論7と事実8から、推論8: "その狂言師は拭き終わらないしおまけに倍加するということはない"が導かれる
9. 推論8から、推論9: "なんらかの物は拭き終わるということはなくて加えてそれは倍加しない"が導かれる
10. 推論9と事実21から、推論10: "この棗椰子は高しということはない"が導かれる
11. 推論10から、仮説が導かれる

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