その棚割は幼けない
fact1: このサプライサイドが共演だしさらに外す fact2: もし仮に「あの事業債権は共演である」ということは正しいとすればその棚割は幼けない fact3: もし仮にその棚割がヒム蚊ならば幼けない fact4: このサプライサイドが宜しいということはないが心弱いとすればあの事業債権は三線でない fact5: 仮に何らかのものが宜しいかあるいは三線だとしたら心弱くない fact6: 仮にあの事業債権はヒム蚊であるししかも幼けないなら「その棚割は幼けないということはない」ということは正しい fact7: 仮にこのサプライサイドが信じ切るとすればあの事業債権はヌアーグである fact8: 仮にあの事業債権は共演であるかまたはヒム蚊だとすると幼けないということはない fact9: このサプライサイドは太郎梅だ fact10: この条約上は三線である fact11: このサプライサイドはヌアーグであるしまたそれは心弱い fact12: もしもあの事業債権がヒム蚊でないならこのサプライサイドは三線だ fact13: もし仮にとあるものはヒム蚊であるということはないとすると「幼けないということはない」ということは正しい fact14: もしもあの事業債権はヒム蚊であるならばそれは宜しい fact15: なんらかのものは賛成し難いということはないとすると「共演であるしそれは心弱くない」ということは誤っている fact16: 「宜しい物は心弱くない」ということは確かだ fact17: ヒム蚊は共演である fact18: もしもとあるものは輻湊ウィンドウであるならそれは信じ切る fact19: あの過量は三線である fact20: あの事業債権は四百七Ｃでない fact21: このサプライサイドはヌアーグである fact22: もし仮に三線が宜しいとしたらそれはヒム蚊でない fact23: 「その棚割は賛成し難くない」ということは成り立つ fact24: もしあの事業債権がヌアーグならその棚割は宜しい
void -> assump1: 以下のように仮定する。あの事業債権はヒム蚊でない; fact12 & assump1 -> int1: このサプライサイドは三線である; int1 -> int2: このサプライサイドは宜しいかまたは三線だ; fact5 -> int3: 仮にこのサプライサイドは宜しいか三線であるならばそれは心弱くない; int2 & int3 -> int4: このサプライサイドは心弱いということはない; fact11 -> int5: このサプライサイドは心弱い; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの事業債権はヒム蚊だ; fact17 -> int8: 仮にあの事業債権はヒム蚊であるとすれば共演である; int7 & int8 -> int9: あの事業債権は共演だ; int9 & fact2 -> 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: 「その棚割は賛成し難くない」ということは成り立つ fact24: もしあの事業債権がヌアーグならその棚割は宜しい ; $hypothesis$ = その棚割は幼けない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの事業債権はヒム蚊でない; fact12 & assump1 -> int1: このサプライサイドは三線である; int1 -> int2: このサプライサイドは宜しいかまたは三線だ; fact5 -> int3: 仮にこのサプライサイドは宜しいか三線であるならばそれは心弱くない; int2 & int3 -> int4: このサプライサイドは心弱いということはない; fact11 -> int5: このサプライサイドは心弱い; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの事業債権はヒム蚊だ; fact17 -> int8: 仮にあの事業債権はヒム蚊であるとすれば共演である; int7 & int8 -> int9: あの事業債権は共演だ; int9 & fact2 -> hypothesis; __PROVED__
事実1: このサプライサイドが共演だしさらに外す
事実2: もし仮に「あの事業債権は共演である」ということは正しいとすればその棚割は幼けない
事実3: もし仮にその棚割がヒム蚊ならば幼けない
事実4: このサプライサイドが宜しいということはないが心弱いとすればあの事業債権は三線でない
事実5: 仮に何らかのものが宜しいかあるいは三線だとしたら心弱くない
事実6: 仮にあの事業債権はヒム蚊であるししかも幼けないなら「その棚割は幼けないということはない」ということは正しい
事実7: 仮にこのサプライサイドが信じ切るとすればあの事業債権はヌアーグである
事実8: 仮にあの事業債権は共演であるかまたはヒム蚊だとすると幼けないということはない
事実9: このサプライサイドは太郎梅だ
事実10: この条約上は三線である
事実11: このサプライサイドはヌアーグであるしまたそれは心弱い
事実12: もしもあの事業債権がヒム蚊でないならこのサプライサイドは三線だ
事実13: もし仮にとあるものはヒム蚊であるということはないとすると「幼けないということはない」ということは正しい
事実14: もしもあの事業債権はヒム蚊であるならばそれは宜しい
事実15: なんらかのものは賛成し難いということはないとすると「共演であるしそれは心弱くない」ということは誤っている
事実16: 「宜しい物は心弱くない」ということは確かだ
事実17: ヒム蚊は共演である
事実18: もしもとあるものは輻湊ウィンドウであるならそれは信じ切る
事実19: あの過量は三線である
事実20: あの事業債権は四百七Ｃでない
事実21: このサプライサイドはヌアーグである
事実22: もし仮に三線が宜しいとしたらそれはヒム蚊でない
事実23: 「その棚割は賛成し難くない」ということは成り立つ
事実24: もしあの事業債権がヌアーグならその棚割は宜しい

仮説: その棚割は幼けない
1. 仮定1: 以下のように仮定する。あの事業債権はヒム蚊でない
2. 事実12と仮定1から、推論1: "このサプライサイドは三線である"が導かれる
3. 推論1から、推論2: "このサプライサイドは宜しいかまたは三線だ"が導かれる
4. 事実5から、推論3: "仮にこのサプライサイドは宜しいか三線であるならばそれは心弱くない"が導かれる
5. 推論2と推論3から、推論4: "このサプライサイドは心弱いということはない"が導かれる
6. 事実11から、推論5: "このサプライサイドは心弱い"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あの事業債権はヒム蚊だ"が導かれる
9. 事実17から、推論8: "仮にあの事業債権はヒム蚊であるとすれば共演である"が導かれる
10. 推論7と推論8から、推論9: "あの事業債権は共演だ"が導かれる
11. 推論9と事実2から、仮説が導かれる

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