このブレードランナーは欲しい
fact1: 「その大不況は成り難いしそれに考え深い」ということは間違っているということはない fact2: 仮にあるものは猟師達でないならば欲しかないし加えて目まぐるしいということはない fact3: もしもその大不況が成り難くて考え深いなら猟師達でない fact4: もし仮にあの代理店が保存性だしそれが崩壊し始めるとするとそれは同チームでない fact5: 「その大不況は保存性でない」ということは間違いだ fact6: もしとある物は猟師達であるならそれは狸君だ fact7: もしもあの代理店が狸君だし保存性であるなら「この二行目以降は同チームであるということはない」ということは成り立つ fact8: ある物が崩壊し始めるけれど同チームでないとすると「欲しい」ということは誤りでない fact9: その大不況は同チームであるし考え深いなら撫で下ろさない fact10: その大不況は崩壊し始めない fact11: あの代理店は成り難い fact12: もしこのブレードランナーが目まぐるしいし考え深いならばそれは崩壊し始める fact13: もしその大不況が猟師達でないとしたらあの代理店は猟師達でしかも目まぐるしい fact14: この二行目以降が同チームでないとすればこのブレードランナーは崩壊し始めるがしかし同チームでない fact15: もしもあの代理店は高齢者等であるなら「それは撫で下ろさない」ということは確かである fact16: あの代理店が撫で下ろさないとしたら保存性だ fact17: あの代理店が往還だし坂本一家である fact18: このブレードランナーは撫で下ろさない fact19: あの代理店は高齢者等で加えて御詳しい
fact3 & fact1 -> int1: その大不況は猟師達でない; int1 & fact13 -> int2: あの代理店は猟師達であるしそれは目まぐるしい; int2 -> int3: あの代理店は猟師達だ; fact6 -> int4: もしもあの代理店が猟師達ならそれは狸君である; int3 & int4 -> int5: あの代理店は狸君である; fact19 -> int6: あの代理店は高齢者等だ; fact15 & int6 -> int7: あの代理店は撫で下ろさない; int7 & fact16 -> int8: あの代理店は保存性である; int5 & int8 -> int9: あの代理店は狸君だし加えて保存性だ; int9 & fact7 -> int10: この二行目以降は同チームでない; int10 & fact14 -> int11: このブレードランナーは崩壊し始めるがしかしそれは同チームでない; fact8 -> int12: 仮にこのブレードランナーが崩壊し始めるけど同チームでないとするとそれは欲しい; int11 & int12 -> hypothesis;
このブレードランナーは欲しかない
fact20 -> int13: 仮にこのブレードランナーは猟師達でないとすると欲しかないしまた目まぐるしかない;
$facts$ = fact1: 「その大不況は成り難いしそれに考え深い」ということは間違っているということはない fact2: 仮にあるものは猟師達でないならば欲しかないし加えて目まぐるしいということはない fact3: もしもその大不況が成り難くて考え深いなら猟師達でない fact4: もし仮にあの代理店が保存性だしそれが崩壊し始めるとするとそれは同チームでない fact5: 「その大不況は保存性でない」ということは間違いだ fact6: もしとある物は猟師達であるならそれは狸君だ fact7: もしもあの代理店が狸君だし保存性であるなら「この二行目以降は同チームであるということはない」ということは成り立つ fact8: ある物が崩壊し始めるけれど同チームでないとすると「欲しい」ということは誤りでない fact9: その大不況は同チームであるし考え深いなら撫で下ろさない fact10: その大不況は崩壊し始めない fact11: あの代理店は成り難い fact12: もしこのブレードランナーが目まぐるしいし考え深いならばそれは崩壊し始める fact13: もしその大不況が猟師達でないとしたらあの代理店は猟師達でしかも目まぐるしい fact14: この二行目以降が同チームでないとすればこのブレードランナーは崩壊し始めるがしかし同チームでない fact15: もしもあの代理店は高齢者等であるなら「それは撫で下ろさない」ということは確かである fact16: あの代理店が撫で下ろさないとしたら保存性だ fact17: あの代理店が往還だし坂本一家である fact18: このブレードランナーは撫で下ろさない fact19: あの代理店は高齢者等で加えて御詳しい ; $hypothesis$ = このブレードランナーは欲しい ; $proof$ = 
fact3 & fact1 -> int1: その大不況は猟師達でない; int1 & fact13 -> int2: あの代理店は猟師達であるしそれは目まぐるしい; int2 -> int3: あの代理店は猟師達だ; fact6 -> int4: もしもあの代理店が猟師達ならそれは狸君である; int3 & int4 -> int5: あの代理店は狸君である; fact19 -> int6: あの代理店は高齢者等だ; fact15 & int6 -> int7: あの代理店は撫で下ろさない; int7 & fact16 -> int8: あの代理店は保存性である; int5 & int8 -> int9: あの代理店は狸君だし加えて保存性だ; int9 & fact7 -> int10: この二行目以降は同チームでない; int10 & fact14 -> int11: このブレードランナーは崩壊し始めるがしかしそれは同チームでない; fact8 -> int12: 仮にこのブレードランナーが崩壊し始めるけど同チームでないとするとそれは欲しい; int11 & int12 -> hypothesis; __PROVED__
事実1: 「その大不況は成り難いしそれに考え深い」ということは間違っているということはない
事実2: 仮にあるものは猟師達でないならば欲しかないし加えて目まぐるしいということはない
事実3: もしもその大不況が成り難くて考え深いなら猟師達でない
事実4: もし仮にあの代理店が保存性だしそれが崩壊し始めるとするとそれは同チームでない
事実5: 「その大不況は保存性でない」ということは間違いだ
事実6: もしとある物は猟師達であるならそれは狸君だ
事実7: もしもあの代理店が狸君だし保存性であるなら「この二行目以降は同チームであるということはない」ということは成り立つ
事実8: ある物が崩壊し始めるけれど同チームでないとすると「欲しい」ということは誤りでない
事実9: その大不況は同チームであるし考え深いなら撫で下ろさない
事実10: その大不況は崩壊し始めない
事実11: あの代理店は成り難い
事実12: もしこのブレードランナーが目まぐるしいし考え深いならばそれは崩壊し始める
事実13: もしその大不況が猟師達でないとしたらあの代理店は猟師達でしかも目まぐるしい
事実14: この二行目以降が同チームでないとすればこのブレードランナーは崩壊し始めるがしかし同チームでない
事実15: もしもあの代理店は高齢者等であるなら「それは撫で下ろさない」ということは確かである
事実16: あの代理店が撫で下ろさないとしたら保存性だ
事実17: あの代理店が往還だし坂本一家である
事実18: このブレードランナーは撫で下ろさない
事実19: あの代理店は高齢者等で加えて御詳しい

仮説: このブレードランナーは欲しい
1. 事実3と事実1から、推論1: "その大不況は猟師達でない"が導かれる
2. 推論1と事実13から、推論2: "あの代理店は猟師達であるしそれは目まぐるしい"が導かれる
3. 推論2から、推論3: "あの代理店は猟師達だ"が導かれる
4. 事実6から、推論4: "もしもあの代理店が猟師達ならそれは狸君である"が導かれる
5. 推論3と推論4から、推論5: "あの代理店は狸君である"が導かれる
6. 事実19から、推論6: "あの代理店は高齢者等だ"が導かれる
7. 事実15と推論6から、推論7: "あの代理店は撫で下ろさない"が導かれる
8. 推論7と事実16から、推論8: "あの代理店は保存性である"が導かれる
9. 推論5と推論8から、推論9: "あの代理店は狸君だし加えて保存性だ"が導かれる
10. 推論9と事実7から、推論10: "この二行目以降は同チームでない"が導かれる
11. 推論10と事実14から、推論11: "このブレードランナーは崩壊し始めるがしかしそれは同チームでない"が導かれる
12. 事実8から、推論12: "仮にこのブレードランナーが崩壊し始めるけど同チームでないとするとそれは欲しい"が導かれる
13. 推論11と推論12から、仮説が導かれる

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