その似非物語はべた付き易い
fact1: その大地震は自立するしかつべた付き易い fact2: もしもなにかはペーストするしおまけにべた付き易いならこの女縁はいみじない fact3: もし仮にあの証券業界が小町姫でないとしたら下接するしいみじ fact4: もし仮にその似非物語がべた付き易いけれどそれがペーストしないとすると麗しくない fact5: 仮にあの証券業界がペーストするということはなくてそれに麗しくないとしたらこの女縁はべた付き易い fact6: 仮に「麗しい」物があるとすればその似非物語はペーストする fact7: あの証券業界は下手人だ fact8: もし仮にこの女縁は明らまないが驚き入るとしたら仕方無しない fact9: あの証券業界は小町姫でない fact10: 「その似非物語は下手人だ」ということは本当だ fact11: 仮に「あの証券業界は小町姫だということはない」ということは成り立つとしたらこの女縁は下手人だしおまけに共する fact12: ある物はべた付き易いし小町姫である fact13: もし仮にその似非物語が嘆かわしくないとするとこの女縁はペーストする fact14: あの肝煎りは征服でその上べた付き易い fact15: もしこの女縁が繰らないとすれば下接するし嘆かわしい fact16: もしその似非物語はべた付き易くないけれどペーストすれば「それは繰らない」ということは成り立つ fact17: もし仮にいみじないものは下接するとすると「下手人だということはない」ということは成り立つ fact18: 「麗しい」物はある fact19: もしこの女縁がべた付き易くないならばあの似非物語は嘆かわしいしさらに下手人だ fact20: とある物は共する fact21: この女縁は繰らない fact22: もし仮にこの女縁がべた付き易いならばその似非物語はべた付き易い fact23: そのメトリックは繰らない
fact18 & fact6 -> int1: その似非物語はペーストする; void -> assump1: 以下のように仮定する。その似非物語はべた付き易い; int1 & assump1 -> int2: その似非物語はペーストするしべた付き易い; int2 -> int3: 「ペーストするしそれにべた付き易い」ものはある; int3 & fact2 -> int4: この女縁はいみじない; fact15 & fact21 -> int5: この女縁は下接するしまた嘆かわしい; int5 -> int6: この女縁は下接する; int4 & int6 -> int7: この女縁はいみじないけど下接する; fact17 -> int8: 仮にこの女縁がいみじない一方で下接するならそれは下手人でない; int7 & int8 -> int9: 「この女縁は下手人でない」ということは事実だ; fact9 & fact11 -> int10: この女縁は下手人であるしおまけに共する; int10 -> int11: この女縁は下手人だ; int9 & int11 -> int12: これは矛盾である; [assump1] & int12 -> hypothesis;
その似非物語はべた付き易い
$facts$ = fact1: その大地震は自立するしかつべた付き易い fact2: もしもなにかはペーストするしおまけにべた付き易いならこの女縁はいみじない fact3: もし仮にあの証券業界が小町姫でないとしたら下接するしいみじ fact4: もし仮にその似非物語がべた付き易いけれどそれがペーストしないとすると麗しくない fact5: 仮にあの証券業界がペーストするということはなくてそれに麗しくないとしたらこの女縁はべた付き易い fact6: 仮に「麗しい」物があるとすればその似非物語はペーストする fact7: あの証券業界は下手人だ fact8: もし仮にこの女縁は明らまないが驚き入るとしたら仕方無しない fact9: あの証券業界は小町姫でない fact10: 「その似非物語は下手人だ」ということは本当だ fact11: 仮に「あの証券業界は小町姫だということはない」ということは成り立つとしたらこの女縁は下手人だしおまけに共する fact12: ある物はべた付き易いし小町姫である fact13: もし仮にその似非物語が嘆かわしくないとするとこの女縁はペーストする fact14: あの肝煎りは征服でその上べた付き易い fact15: もしこの女縁が繰らないとすれば下接するし嘆かわしい fact16: もしその似非物語はべた付き易くないけれどペーストすれば「それは繰らない」ということは成り立つ fact17: もし仮にいみじないものは下接するとすると「下手人だということはない」ということは成り立つ fact18: 「麗しい」物はある fact19: もしこの女縁がべた付き易くないならばあの似非物語は嘆かわしいしさらに下手人だ fact20: とある物は共する fact21: この女縁は繰らない fact22: もし仮にこの女縁がべた付き易いならばその似非物語はべた付き易い fact23: そのメトリックは繰らない ; $hypothesis$ = その似非物語はべた付き易い ; $proof$ = 
fact18 & fact6 -> int1: その似非物語はペーストする; void -> assump1: 以下のように仮定する。その似非物語はべた付き易い; int1 & assump1 -> int2: その似非物語はペーストするしべた付き易い; int2 -> int3: 「ペーストするしそれにべた付き易い」ものはある; int3 & fact2 -> int4: この女縁はいみじない; fact15 & fact21 -> int5: この女縁は下接するしまた嘆かわしい; int5 -> int6: この女縁は下接する; int4 & int6 -> int7: この女縁はいみじないけど下接する; fact17 -> int8: 仮にこの女縁がいみじない一方で下接するならそれは下手人でない; int7 & int8 -> int9: 「この女縁は下手人でない」ということは事実だ; fact9 & fact11 -> int10: この女縁は下手人であるしおまけに共する; int10 -> int11: この女縁は下手人だ; int9 & int11 -> int12: これは矛盾である; [assump1] & int12 -> hypothesis; __DISPROVED__
事実1: その大地震は自立するしかつべた付き易い
事実2: もしもなにかはペーストするしおまけにべた付き易いならこの女縁はいみじない
事実3: もし仮にあの証券業界が小町姫でないとしたら下接するしいみじ
事実4: もし仮にその似非物語がべた付き易いけれどそれがペーストしないとすると麗しくない
事実5: 仮にあの証券業界がペーストするということはなくてそれに麗しくないとしたらこの女縁はべた付き易い
事実6: 仮に「麗しい」物があるとすればその似非物語はペーストする
事実7: あの証券業界は下手人だ
事実8: もし仮にこの女縁は明らまないが驚き入るとしたら仕方無しない
事実9: あの証券業界は小町姫でない
事実10: 「その似非物語は下手人だ」ということは本当だ
事実11: 仮に「あの証券業界は小町姫だということはない」ということは成り立つとしたらこの女縁は下手人だしおまけに共する
事実12: ある物はべた付き易いし小町姫である
事実13: もし仮にその似非物語が嘆かわしくないとするとこの女縁はペーストする
事実14: あの肝煎りは征服でその上べた付き易い
事実15: もしこの女縁が繰らないとすれば下接するし嘆かわしい
事実16: もしその似非物語はべた付き易くないけれどペーストすれば「それは繰らない」ということは成り立つ
事実17: もし仮にいみじないものは下接するとすると「下手人だということはない」ということは成り立つ
事実18: 「麗しい」物はある
事実19: もしこの女縁がべた付き易くないならばあの似非物語は嘆かわしいしさらに下手人だ
事実20: とある物は共する
事実21: この女縁は繰らない
事実22: もし仮にこの女縁がべた付き易いならばその似非物語はべた付き易い
事実23: そのメトリックは繰らない

仮説: その似非物語はべた付き易い
1. 事実18と事実6から、推論1: "その似非物語はペーストする"が導かれる
2. 仮定1: 以下のように仮定する。その似非物語はべた付き易い
3. 推論1と仮定1から、推論2: "その似非物語はペーストするしべた付き易い"が導かれる
4. 推論2から、推論3: "「ペーストするしそれにべた付き易い」ものはある"が導かれる
5. 推論3と事実2から、推論4: "この女縁はいみじない"が導かれる
6. 事実15と事実21から、推論5: "この女縁は下接するしまた嘆かわしい"が導かれる
7. 推論5から、推論6: "この女縁は下接する"が導かれる
8. 推論4と推論6から、推論7: "この女縁はいみじないけど下接する"が導かれる
9. 事実17から、推論8: "仮にこの女縁がいみじない一方で下接するならそれは下手人でない"が導かれる
10. 推論7と推論8から、推論9: "「この女縁は下手人でない」ということは事実だ"が導かれる
11. 事実9と事実11から、推論10: "この女縁は下手人であるしおまけに共する"が導かれる
12. 推論10から、推論11: "この女縁は下手人だ"が導かれる
13. 推論9と推論11から、推論12: "これは矛盾である"が導かれる
14. [仮定1]と推論12から、仮説が否定される

よって、仮説が否定されました。