この半里は残業しない
fact1: あの東山観光散策道路は甲高い fact2: あの東山観光散策道路が本件自動車であるがしかし立ち話でないとすればそれは御落胤でない fact3: 仮にあのブースが砕け易いとすればあのチャリティは御落胤だ fact4: 「この半里は御落胤だ」ということは事実である fact5: 仮にあの東山観光散策道路が残業しなくて加えて砕け易くないとしたらこの半里は残業しない fact6: もしもあの東山観光散策道路が批判点である一方でそれが要介護者でないとすればそれは残業しない fact7: もしも何らかの物は御落胤でないとすると「それは砕け易いということはない洪武版だ」ということは成り立たない fact8: あの東山観光散策道路は洪武版だ fact9: 「本件自動車は立ち話である」ということは事実である fact10: もしあるものが甲高くないとしたらそれは砕け易い fact11: もし仮に「あのチャリティは御落胤である」ということは真実ならばあの半里は本件自動車だ fact12: 要介護者は残業する fact13: あのブースは如此し fact14: あのブースは投与開始する一方で洪武版でない fact15: もし仮にあの東山観光散策道路が洪武版であるとするとあのブースは如此し一方でそれは甲高くない fact16: もし仮にあの東山観光散策道路が盛り合わせないとすればそれは批判点だけれど要介護者でない fact17: もしもあのチャリティが甲高いとすると御落胤だ fact18: あのブースは立ち話でない fact19: もし仮にあの東山観光散策道路が洪武版ならばあのブースは如此し fact20: 仮に「この半里は立ち話だ」ということは確かであるとするとそれは要介護者だ
fact15 & fact8 -> int1: 「あのブースは如此し一方で甲高いということはない」ということは成り立つ; int1 -> int2: あのブースは甲高いということはない; fact10 -> int3: 仮に「あのブースは甲高い」ということは成り立たないとすれば砕け易い; int2 & int3 -> int4: あのブースは砕け易い; int4 & fact3 -> int5: あのチャリティは御落胤だ; int5 & fact11 -> int6: この半里は本件自動車だ; fact9 -> int7: 仮にこの半里は本件自動車であるとすればそれは立ち話だ; int6 & int7 -> int8: この半里は立ち話である; int8 & fact20 -> int9: この半里は要介護者である; fact12 -> int10: もしこの半里は要介護者であるとしたらそれは残業する; int9 & int10 -> hypothesis;
「この半里は残業するということはない」ということは成り立つ
fact21 -> int11: もしもあの東山観光散策道路は御落胤でないとしたら「砕け易くないが洪武版である」ということは事実と異なる;
$facts$ = fact1: あの東山観光散策道路は甲高い fact2: あの東山観光散策道路が本件自動車であるがしかし立ち話でないとすればそれは御落胤でない fact3: 仮にあのブースが砕け易いとすればあのチャリティは御落胤だ fact4: 「この半里は御落胤だ」ということは事実である fact5: 仮にあの東山観光散策道路が残業しなくて加えて砕け易くないとしたらこの半里は残業しない fact6: もしもあの東山観光散策道路が批判点である一方でそれが要介護者でないとすればそれは残業しない fact7: もしも何らかの物は御落胤でないとすると「それは砕け易いということはない洪武版だ」ということは成り立たない fact8: あの東山観光散策道路は洪武版だ fact9: 「本件自動車は立ち話である」ということは事実である fact10: もしあるものが甲高くないとしたらそれは砕け易い fact11: もし仮に「あのチャリティは御落胤である」ということは真実ならばあの半里は本件自動車だ fact12: 要介護者は残業する fact13: あのブースは如此し fact14: あのブースは投与開始する一方で洪武版でない fact15: もし仮にあの東山観光散策道路が洪武版であるとするとあのブースは如此し一方でそれは甲高くない fact16: もし仮にあの東山観光散策道路が盛り合わせないとすればそれは批判点だけれど要介護者でない fact17: もしもあのチャリティが甲高いとすると御落胤だ fact18: あのブースは立ち話でない fact19: もし仮にあの東山観光散策道路が洪武版ならばあのブースは如此し fact20: 仮に「この半里は立ち話だ」ということは確かであるとするとそれは要介護者だ ; $hypothesis$ = この半里は残業しない ; $proof$ = 
fact15 & fact8 -> int1: 「あのブースは如此し一方で甲高いということはない」ということは成り立つ; int1 -> int2: あのブースは甲高いということはない; fact10 -> int3: 仮に「あのブースは甲高い」ということは成り立たないとすれば砕け易い; int2 & int3 -> int4: あのブースは砕け易い; int4 & fact3 -> int5: あのチャリティは御落胤だ; int5 & fact11 -> int6: この半里は本件自動車だ; fact9 -> int7: 仮にこの半里は本件自動車であるとすればそれは立ち話だ; int6 & int7 -> int8: この半里は立ち話である; int8 & fact20 -> int9: この半里は要介護者である; fact12 -> int10: もしこの半里は要介護者であるとしたらそれは残業する; int9 & int10 -> hypothesis; __DISPROVED__
事実1: あの東山観光散策道路は甲高い
事実2: あの東山観光散策道路が本件自動車であるがしかし立ち話でないとすればそれは御落胤でない
事実3: 仮にあのブースが砕け易いとすればあのチャリティは御落胤だ
事実4: 「この半里は御落胤だ」ということは事実である
事実5: 仮にあの東山観光散策道路が残業しなくて加えて砕け易くないとしたらこの半里は残業しない
事実6: もしもあの東山観光散策道路が批判点である一方でそれが要介護者でないとすればそれは残業しない
事実7: もしも何らかの物は御落胤でないとすると「それは砕け易いということはない洪武版だ」ということは成り立たない
事実8: あの東山観光散策道路は洪武版だ
事実9: 「本件自動車は立ち話である」ということは事実である
事実10: もしあるものが甲高くないとしたらそれは砕け易い
事実11: もし仮に「あのチャリティは御落胤である」ということは真実ならばあの半里は本件自動車だ
事実12: 要介護者は残業する
事実13: あのブースは如此し
事実14: あのブースは投与開始する一方で洪武版でない
事実15: もし仮にあの東山観光散策道路が洪武版であるとするとあのブースは如此し一方でそれは甲高くない
事実16: もし仮にあの東山観光散策道路が盛り合わせないとすればそれは批判点だけれど要介護者でない
事実17: もしもあのチャリティが甲高いとすると御落胤だ
事実18: あのブースは立ち話でない
事実19: もし仮にあの東山観光散策道路が洪武版ならばあのブースは如此し
事実20: 仮に「この半里は立ち話だ」ということは確かであるとするとそれは要介護者だ

仮説: この半里は残業しない
1. 事実15と事実8から、推論1: "「あのブースは如此し一方で甲高いということはない」ということは成り立つ"が導かれる
2. 推論1から、推論2: "あのブースは甲高いということはない"が導かれる
3. 事実10から、推論3: "仮に「あのブースは甲高い」ということは成り立たないとすれば砕け易い"が導かれる
4. 推論2と推論3から、推論4: "あのブースは砕け易い"が導かれる
5. 推論4と事実3から、推論5: "あのチャリティは御落胤だ"が導かれる
6. 推論5と事実11から、推論6: "この半里は本件自動車だ"が導かれる
7. 事実9から、推論7: "仮にこの半里は本件自動車であるとすればそれは立ち話だ"が導かれる
8. 推論6と推論7から、推論8: "この半里は立ち話である"が導かれる
9. 推論8と事実20から、推論9: "この半里は要介護者である"が導かれる
10. 事実12から、推論10: "もしこの半里は要介護者であるとしたらそれは残業する"が導かれる
11. 推論9と推論10から、仮説が否定される

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