「「しかつめらしいし更に縁遠い」物はある」ということは成り立たない
fact1: あの本訴は御話下さるがしかし同年中であるということはない fact2: その洋風生活は懐こいかあるいはそれは長しか両方である fact3: もし仮に「その五月以降は疑義照会する」ということは正しいとしたら「あの本訴は明け暮れしない一方で馬鹿らしい」ということは真実でない fact4: あの本訴は御話下さる fact5: なにかは縁遠い fact6: もし仮に何らかの物が長しということはないならば敗退するししかもリセットしない fact7: もしもなにがしかの物は作品画像であるとするとそれは縁遠い一方で懐こくない fact8: 仮にあの本訴が馬鹿らしくないとすればその五月以降は長しかまたは明け暮れするかもしくは両方ともである fact9: 難しい物は懐こくなくてしかも作品画像でない fact10: その洋風生活が縁遠いならばあの大都会は縁遠い fact11: もしもその五月以降が長しとするとあの八十年代中頃は疑義照会する fact12: あの八十年代中頃が懐こくないししかもそれが作品画像でないならばその五月以降はしかつめらしくない fact13: 仮に「あの八十年代中頃は疑義照会する」ということは間違いでないとするとあの大都会はしかつめらしい fact14: もしも「あの本訴は明け暮れしない一方で馬鹿らしい」ということは間違っているならその大同元年は長しない fact15: 「もしもその五月以降が明け暮れするとしたらあの八十年代中頃は疑義照会する」ということは事実だ fact16: もしあの本訴が御話下さるけどそれは同年中でないとすれば「馬鹿らしくない」ということは本当だ fact17: 仮にとあるものはしかつめらしくないなら「疑義照会しないしまたそれは縁遠い」ということは成り立つということはない fact18: その洋風生活は作品画像だ
fact16 & fact1 -> int1: あの本訴は馬鹿らしくない; int1 & fact8 -> int2: その五月以降は長しかまたは明け暮れするかもしくは両方である; int2 & fact11 & fact15 -> int3: あの八十年代中頃は疑義照会する; int3 & fact13 -> int4: あの大都会はしかつめらしい; fact7 -> int5: 仮にその洋風生活が作品画像ならば縁遠いが懐こくない; int5 & fact18 -> int6: 「その洋風生活は縁遠い一方で懐こくない」ということは確かだ; int6 -> int7: その洋風生活は縁遠い; fact10 & int7 -> int8: あの大都会は縁遠い; int4 & int8 -> int9: あの大都会はしかつめらしくて更にそれは縁遠い; int9 -> hypothesis;
その大同元年は敗退するがしかしリセットしない
fact19 -> int10: もし仮にその大同元年が長しということはないとすると敗退するけれどリセットするということはない; fact24 -> int11: もしもあの大都会が難しいとしたら懐こくないし作品画像でない; fact21 -> int12: 仮に「その五月以降はしかつめらしくない」ということは確かだとすれば「それは疑義照会しないがしかし縁遠い」ということは間違っている;
$facts$ = fact1: あの本訴は御話下さるがしかし同年中であるということはない fact2: その洋風生活は懐こいかあるいはそれは長しか両方である fact3: もし仮に「その五月以降は疑義照会する」ということは正しいとしたら「あの本訴は明け暮れしない一方で馬鹿らしい」ということは真実でない fact4: あの本訴は御話下さる fact5: なにかは縁遠い fact6: もし仮に何らかの物が長しということはないならば敗退するししかもリセットしない fact7: もしもなにがしかの物は作品画像であるとするとそれは縁遠い一方で懐こくない fact8: 仮にあの本訴が馬鹿らしくないとすればその五月以降は長しかまたは明け暮れするかもしくは両方ともである fact9: 難しい物は懐こくなくてしかも作品画像でない fact10: その洋風生活が縁遠いならばあの大都会は縁遠い fact11: もしもその五月以降が長しとするとあの八十年代中頃は疑義照会する fact12: あの八十年代中頃が懐こくないししかもそれが作品画像でないならばその五月以降はしかつめらしくない fact13: 仮に「あの八十年代中頃は疑義照会する」ということは間違いでないとするとあの大都会はしかつめらしい fact14: もしも「あの本訴は明け暮れしない一方で馬鹿らしい」ということは間違っているならその大同元年は長しない fact15: 「もしもその五月以降が明け暮れするとしたらあの八十年代中頃は疑義照会する」ということは事実だ fact16: もしあの本訴が御話下さるけどそれは同年中でないとすれば「馬鹿らしくない」ということは本当だ fact17: 仮にとあるものはしかつめらしくないなら「疑義照会しないしまたそれは縁遠い」ということは成り立つということはない fact18: その洋風生活は作品画像だ ; $hypothesis$ = 「「しかつめらしいし更に縁遠い」物はある」ということは成り立たない ; $proof$ = 
fact16 & fact1 -> int1: あの本訴は馬鹿らしくない; int1 & fact8 -> int2: その五月以降は長しかまたは明け暮れするかもしくは両方である; int2 & fact11 & fact15 -> int3: あの八十年代中頃は疑義照会する; int3 & fact13 -> int4: あの大都会はしかつめらしい; fact7 -> int5: 仮にその洋風生活が作品画像ならば縁遠いが懐こくない; int5 & fact18 -> int6: 「その洋風生活は縁遠い一方で懐こくない」ということは確かだ; int6 -> int7: その洋風生活は縁遠い; fact10 & int7 -> int8: あの大都会は縁遠い; int4 & int8 -> int9: あの大都会はしかつめらしくて更にそれは縁遠い; int9 -> hypothesis; __DISPROVED__
事実1: あの本訴は御話下さるがしかし同年中であるということはない
事実2: その洋風生活は懐こいかあるいはそれは長しか両方である
事実3: もし仮に「その五月以降は疑義照会する」ということは正しいとしたら「あの本訴は明け暮れしない一方で馬鹿らしい」ということは真実でない
事実4: あの本訴は御話下さる
事実5: なにかは縁遠い
事実6: もし仮に何らかの物が長しということはないならば敗退するししかもリセットしない
事実7: もしもなにがしかの物は作品画像であるとするとそれは縁遠い一方で懐こくない
事実8: 仮にあの本訴が馬鹿らしくないとすればその五月以降は長しかまたは明け暮れするかもしくは両方ともである
事実9: 難しい物は懐こくなくてしかも作品画像でない
事実10: その洋風生活が縁遠いならばあの大都会は縁遠い
事実11: もしもその五月以降が長しとするとあの八十年代中頃は疑義照会する
事実12: あの八十年代中頃が懐こくないししかもそれが作品画像でないならばその五月以降はしかつめらしくない
事実13: 仮に「あの八十年代中頃は疑義照会する」ということは間違いでないとするとあの大都会はしかつめらしい
事実14: もしも「あの本訴は明け暮れしない一方で馬鹿らしい」ということは間違っているならその大同元年は長しない
事実15: 「もしもその五月以降が明け暮れするとしたらあの八十年代中頃は疑義照会する」ということは事実だ
事実16: もしあの本訴が御話下さるけどそれは同年中でないとすれば「馬鹿らしくない」ということは本当だ
事実17: 仮にとあるものはしかつめらしくないなら「疑義照会しないしまたそれは縁遠い」ということは成り立つということはない
事実18: その洋風生活は作品画像だ

仮説: 「「しかつめらしいし更に縁遠い」物はある」ということは成り立たない
1. 事実16と事実1から、推論1: "あの本訴は馬鹿らしくない"が導かれる
2. 推論1と事実8から、推論2: "その五月以降は長しかまたは明け暮れするかもしくは両方である"が導かれる
3. 推論2と事実11と事実15から、推論3: "あの八十年代中頃は疑義照会する"が導かれる
4. 推論3と事実13から、推論4: "あの大都会はしかつめらしい"が導かれる
5. 事実7から、推論5: "仮にその洋風生活が作品画像ならば縁遠いが懐こくない"が導かれる
6. 推論5と事実18から、推論6: "「その洋風生活は縁遠い一方で懐こくない」ということは確かだ"が導かれる
7. 推論6から、推論7: "その洋風生活は縁遠い"が導かれる
8. 事実10と推論7から、推論8: "あの大都会は縁遠い"が導かれる
9. 推論4と推論8から、推論9: "あの大都会はしかつめらしくて更にそれは縁遠い"が導かれる
10. 推論9から、仮説が否定される

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