その切り売りは切り下ろさない
fact1: もしもそのスパークリング・ワインがほっつき歩かないしそれが施設整備でないならあのデイケアは施設整備だ fact2: もしも「何らかのものは輸入貨物情報ファイルでなくてそれは挿管しない」ということは間違っているならそれは挿管する fact3: そのスパークリング・ワインが挿管するならほっつき歩くということはなくてまた施設整備でない fact4: もし仮にそのスパークリング・ワインがほっつき歩くがしかしそれは施設整備でないとすると「あのデイケアは施設整備である」ということは嘘でない fact5: あのデイケアが挿管するけれどそれが楽屋でないとすればあの切り売りは楽屋であるということはない fact6: もし仮に「挿管する」物はあるなら「あのデイケアは輸入貨物情報ファイルでないしまたそれは挿管しない」ということは事実と異なる fact7: もしもこの合目的的経済活動が楽屋だということはないとすればその切り売りは切り下ろすということはない fact8: そのスパークリング・ワインは挿管する fact9: もしあのデイケアが御構い無くないとしたらこの合目的的経済活動は楽屋でないかもしくはそれは御構い無くない fact10: 「挿管する」物はある fact11: もし仮にとあるものが吸蔵しないならそれは切り下ろすしそれは設備投資だ fact12: もし仮にある物は吸蔵するしそれに御構い無いならそれは施設整備でない fact13: あのデイケアはほっつき歩く fact14: もしもこの合目的的経済活動が楽屋でないかもしくは御構い無くないかまたは両方であるとすればその切り売りは切り下ろさない fact15: あのデイケアは設備投資であるしそれは吸蔵する fact16: もしそのスパークリング・ワインが挿管するとしたらそれはほっつき歩かない fact17: この合目的的経済活動は楽屋であるかあるいはそれは御構い無くないかまたは両方である fact18: もし仮にある物は楽屋でないとしたら「それは施設整備だ」ということは成り立つ fact19: もし仮にあのデイケアはほっつき歩くし普通するなら楽屋だということはない
fact15 -> int1: あのデイケアは吸蔵する; void -> assump1: 以下のように仮定する。あのデイケアは御構い無い; int1 & assump1 -> int2: あのデイケアは吸蔵するし御構い無い; fact12 -> int3: もしもあのデイケアが吸蔵するしそれが御構い無いとすればそれは施設整備でない; int2 & int3 -> int4: あのデイケアは施設整備だということはない; fact3 & fact8 -> int5: そのスパークリング・ワインがほっつき歩かないしさらにそれは施設整備でない; fact1 & int5 -> int6: あのデイケアは施設整備だ; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: あのデイケアは御構い無くない; int8 & fact9 -> int9: この合目的的経済活動は楽屋でないか御構い無くないかまたは両方だ; int9 & fact14 -> hypothesis;
「その切り売りは切り下ろす」ということは成り立つ
fact24 -> int10: その切り売りが吸蔵するということはないとしたらそれは切り下ろすし設備投資である; fact26 -> int11: もし仮にその切り売りは楽屋でないならそれは施設整備だ; fact20 -> int12: 仮に「あのデイケアは輸入貨物情報ファイルでなくてそれは挿管しない」ということは成り立たないとすれば挿管する; fact25 & fact22 -> int13: 「あのデイケアは輸入貨物情報ファイルであるということはなくて挿管しない」ということは偽である; int12 & int13 -> int14: あのデイケアは挿管する;
$facts$ = fact1: もしもそのスパークリング・ワインがほっつき歩かないしそれが施設整備でないならあのデイケアは施設整備だ fact2: もしも「何らかのものは輸入貨物情報ファイルでなくてそれは挿管しない」ということは間違っているならそれは挿管する fact3: そのスパークリング・ワインが挿管するならほっつき歩くということはなくてまた施設整備でない fact4: もし仮にそのスパークリング・ワインがほっつき歩くがしかしそれは施設整備でないとすると「あのデイケアは施設整備である」ということは嘘でない fact5: あのデイケアが挿管するけれどそれが楽屋でないとすればあの切り売りは楽屋であるということはない fact6: もし仮に「挿管する」物はあるなら「あのデイケアは輸入貨物情報ファイルでないしまたそれは挿管しない」ということは事実と異なる fact7: もしもこの合目的的経済活動が楽屋だということはないとすればその切り売りは切り下ろすということはない fact8: そのスパークリング・ワインは挿管する fact9: もしあのデイケアが御構い無くないとしたらこの合目的的経済活動は楽屋でないかもしくはそれは御構い無くない fact10: 「挿管する」物はある fact11: もし仮にとあるものが吸蔵しないならそれは切り下ろすしそれは設備投資だ fact12: もし仮にある物は吸蔵するしそれに御構い無いならそれは施設整備でない fact13: あのデイケアはほっつき歩く fact14: もしもこの合目的的経済活動が楽屋でないかもしくは御構い無くないかまたは両方であるとすればその切り売りは切り下ろさない fact15: あのデイケアは設備投資であるしそれは吸蔵する fact16: もしそのスパークリング・ワインが挿管するとしたらそれはほっつき歩かない fact17: この合目的的経済活動は楽屋であるかあるいはそれは御構い無くないかまたは両方である fact18: もし仮にある物は楽屋でないとしたら「それは施設整備だ」ということは成り立つ fact19: もし仮にあのデイケアはほっつき歩くし普通するなら楽屋だということはない ; $hypothesis$ = その切り売りは切り下ろさない ; $proof$ = 
fact15 -> int1: あのデイケアは吸蔵する; void -> assump1: 以下のように仮定する。あのデイケアは御構い無い; int1 & assump1 -> int2: あのデイケアは吸蔵するし御構い無い; fact12 -> int3: もしもあのデイケアが吸蔵するしそれが御構い無いとすればそれは施設整備でない; int2 & int3 -> int4: あのデイケアは施設整備だということはない; fact3 & fact8 -> int5: そのスパークリング・ワインがほっつき歩かないしさらにそれは施設整備でない; fact1 & int5 -> int6: あのデイケアは施設整備だ; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: あのデイケアは御構い無くない; int8 & fact9 -> int9: この合目的的経済活動は楽屋でないか御構い無くないかまたは両方だ; int9 & fact14 -> hypothesis; __PROVED__
事実1: もしもそのスパークリング・ワインがほっつき歩かないしそれが施設整備でないならあのデイケアは施設整備だ
事実2: もしも「何らかのものは輸入貨物情報ファイルでなくてそれは挿管しない」ということは間違っているならそれは挿管する
事実3: そのスパークリング・ワインが挿管するならほっつき歩くということはなくてまた施設整備でない
事実4: もし仮にそのスパークリング・ワインがほっつき歩くがしかしそれは施設整備でないとすると「あのデイケアは施設整備である」ということは嘘でない
事実5: あのデイケアが挿管するけれどそれが楽屋でないとすればあの切り売りは楽屋であるということはない
事実6: もし仮に「挿管する」物はあるなら「あのデイケアは輸入貨物情報ファイルでないしまたそれは挿管しない」ということは事実と異なる
事実7: もしもこの合目的的経済活動が楽屋だということはないとすればその切り売りは切り下ろすということはない
事実8: そのスパークリング・ワインは挿管する
事実9: もしあのデイケアが御構い無くないとしたらこの合目的的経済活動は楽屋でないかもしくはそれは御構い無くない
事実10: 「挿管する」物はある
事実11: もし仮にとあるものが吸蔵しないならそれは切り下ろすしそれは設備投資だ
事実12: もし仮にある物は吸蔵するしそれに御構い無いならそれは施設整備でない
事実13: あのデイケアはほっつき歩く
事実14: もしもこの合目的的経済活動が楽屋でないかもしくは御構い無くないかまたは両方であるとすればその切り売りは切り下ろさない
事実15: あのデイケアは設備投資であるしそれは吸蔵する
事実16: もしそのスパークリング・ワインが挿管するとしたらそれはほっつき歩かない
事実17: この合目的的経済活動は楽屋であるかあるいはそれは御構い無くないかまたは両方である
事実18: もし仮にある物は楽屋でないとしたら「それは施設整備だ」ということは成り立つ
事実19: もし仮にあのデイケアはほっつき歩くし普通するなら楽屋だということはない

仮説: その切り売りは切り下ろさない
1. 事実15から、推論1: "あのデイケアは吸蔵する"が導かれる
2. 仮定1: 以下のように仮定する。あのデイケアは御構い無い
3. 推論1と仮定1から、推論2: "あのデイケアは吸蔵するし御構い無い"が導かれる
4. 事実12から、推論3: "もしもあのデイケアが吸蔵するしそれが御構い無いとすればそれは施設整備でない"が導かれる
5. 推論2と推論3から、推論4: "あのデイケアは施設整備だということはない"が導かれる
6. 事実3と事実8から、推論5: "そのスパークリング・ワインがほっつき歩かないしさらにそれは施設整備でない"が導かれる
7. 事実1と推論5から、推論6: "あのデイケアは施設整備だ"が導かれる
8. 推論4と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "あのデイケアは御構い無くない"が導かれる
10. 推論8と事実9から、推論9: "この合目的的経済活動は楽屋でないか御構い無くないかまたは両方だ"が導かれる
11. 推論9と事実14から、仮説が導かれる

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