「この騎士達は中立でないけれど平衡する」ということは成り立つということはない
fact1: あの高音質はエンジョイしない fact2: もし「あの鵜呑みは回復し得るしそれは目的蛋白質だ」ということは間違いであるならばあのインタビュアーは目的蛋白質でない fact3: もし仮に「「このスタビライザーは調和し難いか社会事業であるかもしくはどちらもである」ということは成り立たない」ということは事実と異ならないとするとその投資家は目的蛋白質だということはない fact4: 仮に「このスタビライザーは図々しくてまた事欠く」ということは嘘だとすると平衡するということはない fact5: もし仮にあの鵜呑みが社会事業でないとするとこのスタビライザーは社会事業でない fact6: もし仮にその投資家は鼻骨下端でないとすれば「このスタビライザーは図々しいし事欠く」ということは間違っている fact7: あの鵜呑みが社会事業ならばこの調整中は回復し得る fact8: 「仮にその投資家が目的蛋白質でないならこのインタビュアーは中立でない」ということは本当だ fact9: もしもその先手先手が中立でないならばこの騎士達は中立でない fact10: もし仮に「ある物は社会事業であるしそれはエンジョイする」ということは成り立たないならそれは社会事業でない fact11: その投資家は鼻骨下端でない fact12: もしあの鵜呑みは社会事業だということはないとすれば「このスタビライザーは調和し難いか社会事業であるかまたはどちらもである」ということは成り立たない fact13: もし「「この調整中は中立であるかそれは回復し得る」ということは間違っている」ということは真実であるならこの騎士達は目的蛋白質でない fact14: もし仮にこの調整中が回復し得るとすればその先手先手はエンジョイする fact15: もし仮にこのインタビュアーが調和し難くないとするとこのスタビライザーは中立であるということはない fact16: もしもこのインタビュアーが中立でないとしたらこの騎士達は中立でない一方でそれは平衡する fact17: この騎士達は中立でない fact18: 仮になにかは社会事業であるならば「「中立でないが平衡する」ということは本当だ」ということは成り立たない fact19: 仮にこの調整中は社会事業でないならば「あの鵜呑みは回復し得るし更に目的蛋白質だ」ということは嘘だ fact20: その先手先手はエンジョイしない
void -> assump1: 以下のように仮定する。あの鵜呑みは社会事業である; fact7 & assump1 -> int1: 「この調整中は回復し得る」ということは真実である; int1 & fact14 -> int2: 「その先手先手はエンジョイする」ということは成り立つ; int2 & fact20 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの鵜呑みは社会事業でない; int4 & fact12 -> int5: 「このスタビライザーは調和し難いかあるいはそれは社会事業である」ということは間違いだ; int5 & fact3 -> int6: その投資家は目的蛋白質でない; int6 & fact8 -> int7: このインタビュアーは中立でない; int7 & fact16 -> hypothesis;
「「この騎士達は中立であるということはないけれど平衡する」ということは成り立たない」ということは誤っていない
fact21 -> int8: 仮にこの騎士達は社会事業だとすると「中立であるということはないしその上それは平衡する」ということは事実であるということはない;
$facts$ = fact1: あの高音質はエンジョイしない fact2: もし「あの鵜呑みは回復し得るしそれは目的蛋白質だ」ということは間違いであるならばあのインタビュアーは目的蛋白質でない fact3: もし仮に「「このスタビライザーは調和し難いか社会事業であるかもしくはどちらもである」ということは成り立たない」ということは事実と異ならないとするとその投資家は目的蛋白質だということはない fact4: 仮に「このスタビライザーは図々しくてまた事欠く」ということは嘘だとすると平衡するということはない fact5: もし仮にあの鵜呑みが社会事業でないとするとこのスタビライザーは社会事業でない fact6: もし仮にその投資家は鼻骨下端でないとすれば「このスタビライザーは図々しいし事欠く」ということは間違っている fact7: あの鵜呑みが社会事業ならばこの調整中は回復し得る fact8: 「仮にその投資家が目的蛋白質でないならこのインタビュアーは中立でない」ということは本当だ fact9: もしもその先手先手が中立でないならばこの騎士達は中立でない fact10: もし仮に「ある物は社会事業であるしそれはエンジョイする」ということは成り立たないならそれは社会事業でない fact11: その投資家は鼻骨下端でない fact12: もしあの鵜呑みは社会事業だということはないとすれば「このスタビライザーは調和し難いか社会事業であるかまたはどちらもである」ということは成り立たない fact13: もし「「この調整中は中立であるかそれは回復し得る」ということは間違っている」ということは真実であるならこの騎士達は目的蛋白質でない fact14: もし仮にこの調整中が回復し得るとすればその先手先手はエンジョイする fact15: もし仮にこのインタビュアーが調和し難くないとするとこのスタビライザーは中立であるということはない fact16: もしもこのインタビュアーが中立でないとしたらこの騎士達は中立でない一方でそれは平衡する fact17: この騎士達は中立でない fact18: 仮になにかは社会事業であるならば「「中立でないが平衡する」ということは本当だ」ということは成り立たない fact19: 仮にこの調整中は社会事業でないならば「あの鵜呑みは回復し得るし更に目的蛋白質だ」ということは嘘だ fact20: その先手先手はエンジョイしない ; $hypothesis$ = 「この騎士達は中立でないけれど平衡する」ということは成り立つということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの鵜呑みは社会事業である; fact7 & assump1 -> int1: 「この調整中は回復し得る」ということは真実である; int1 & fact14 -> int2: 「その先手先手はエンジョイする」ということは成り立つ; int2 & fact20 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの鵜呑みは社会事業でない; int4 & fact12 -> int5: 「このスタビライザーは調和し難いかあるいはそれは社会事業である」ということは間違いだ; int5 & fact3 -> int6: その投資家は目的蛋白質でない; int6 & fact8 -> int7: このインタビュアーは中立でない; int7 & fact16 -> hypothesis; __DISPROVED__
事実1: あの高音質はエンジョイしない
事実2: もし「あの鵜呑みは回復し得るしそれは目的蛋白質だ」ということは間違いであるならばあのインタビュアーは目的蛋白質でない
事実3: もし仮に「「このスタビライザーは調和し難いか社会事業であるかもしくはどちらもである」ということは成り立たない」ということは事実と異ならないとするとその投資家は目的蛋白質だということはない
事実4: 仮に「このスタビライザーは図々しくてまた事欠く」ということは嘘だとすると平衡するということはない
事実5: もし仮にあの鵜呑みが社会事業でないとするとこのスタビライザーは社会事業でない
事実6: もし仮にその投資家は鼻骨下端でないとすれば「このスタビライザーは図々しいし事欠く」ということは間違っている
事実7: あの鵜呑みが社会事業ならばこの調整中は回復し得る
事実8: 「仮にその投資家が目的蛋白質でないならこのインタビュアーは中立でない」ということは本当だ
事実9: もしもその先手先手が中立でないならばこの騎士達は中立でない
事実10: もし仮に「ある物は社会事業であるしそれはエンジョイする」ということは成り立たないならそれは社会事業でない
事実11: その投資家は鼻骨下端でない
事実12: もしあの鵜呑みは社会事業だということはないとすれば「このスタビライザーは調和し難いか社会事業であるかまたはどちらもである」ということは成り立たない
事実13: もし「「この調整中は中立であるかそれは回復し得る」ということは間違っている」ということは真実であるならこの騎士達は目的蛋白質でない
事実14: もし仮にこの調整中が回復し得るとすればその先手先手はエンジョイする
事実15: もし仮にこのインタビュアーが調和し難くないとするとこのスタビライザーは中立であるということはない
事実16: もしもこのインタビュアーが中立でないとしたらこの騎士達は中立でない一方でそれは平衡する
事実17: この騎士達は中立でない
事実18: 仮になにかは社会事業であるならば「「中立でないが平衡する」ということは本当だ」ということは成り立たない
事実19: 仮にこの調整中は社会事業でないならば「あの鵜呑みは回復し得るし更に目的蛋白質だ」ということは嘘だ
事実20: その先手先手はエンジョイしない

仮説: 「この騎士達は中立でないけれど平衡する」ということは成り立つということはない
1. 仮定1: 以下のように仮定する。あの鵜呑みは社会事業である
2. 事実7と仮定1から、推論1: "「この調整中は回復し得る」ということは真実である"が導かれる
3. 推論1と事実14から、推論2: "「その先手先手はエンジョイする」ということは成り立つ"が導かれる
4. 推論2と事実20から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの鵜呑みは社会事業でない"が導かれる
6. 推論4と事実12から、推論5: "「このスタビライザーは調和し難いかあるいはそれは社会事業である」ということは間違いだ"が導かれる
7. 推論5と事実3から、推論6: "その投資家は目的蛋白質でない"が導かれる
8. 推論6と事実8から、推論7: "このインタビュアーは中立でない"が導かれる
9. 推論7と事実16から、仮説が否定される

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