このメトヘモグロビンは想像し難くないし更に均衡でない
fact1: 「この留意点が錬成だししかもそれは都道府県知事等である」ということは間違いだ fact2: 仮になんらかのものは曳航しないなら「それは想像し難いということはないしそれに均衡でない」ということは事実でない fact3: あの自己注射は錬成だ fact4: もし仮に「なにがしかのものは抱っこであるししかも曳航する」ということは間違いであるとするとそれは抱っこでない fact5: あの大徳は錬成でないか均衡だということはないかまたは両方ともだ fact6: もしとある物は曳航しないとすれば「それは想像し難い一方で均衡でない」ということは誤っている fact7: 仮に「このメトヘモグロビンは曳航しない」ということは確かなら「想像し難いが均衡でない」ということは成り立たない fact8: 仮に「このメトヘモグロビンは曳航しない」ということは成り立つとすれば「「想像し難いということはないけど均衡だ」ということは確かだ」ということは事実と異なる fact9: 仮にあの大徳が錬成でないならばこの留意点は都道府県知事等である fact10: あの大徳は閲覧出来ないかもしくはそれは均衡でない fact11: 「このメトヘモグロビンは想像し難くないけれど均衡である」ということは成り立つということはない fact12: もし仮にあの大徳が想像し難くないとすればあのメトヘモグロビンは際どい fact13: このメトヘモグロビンは現代家族でない fact14: もしもあの大徳は際どかないとしたら「この留意点は都道府県知事等だ」ということは本当だ fact15: 「このメトヘモグロビンは想像し難いがしかし均衡でない」ということは成り立たない fact16: もし仮にこの留意点が曳航しないならばこのメトヘモグロビンは同意出来る fact17: もしもなにがしかのものは想像し難いとすると「それは際どい」ということは事実である fact18: 「この留意点は抱っこであるしそれは同意出来る」ということは嘘だとすると「それは抱っこでない」ということは事実である fact19: 「際どかない物は想像し難いということはなくて更に均衡でない」ということは正しい fact20: 「もし仮に「あの大徳は際どかないかあるいはそれは錬成であるということはない」ということは成り立たないならばあのメトヘモグロビンは曳航しない」ということは正しい fact21: もし仮にとあるものは曳航しないなら「それは想像し難くないし均衡だ」ということは誤りだ fact22: 「この留意点は抱っこで同意出来る」ということは事実と異なる fact23: 都道府県知事等は抱っこだ fact24: 「このメトヘモグロビンは抱っこだしさらに曳航する」ということは間違いである fact25: なにかは抱っこでないとすれば「それは錬成であるし都道府県知事等でない」ということは成り立たない
void -> assump1: 以下のように仮定する。あの大徳は際どかないかもしくはそれは錬成でないかどちらもだ; assump1 & fact14 & fact9 -> int1: この留意点は都道府県知事等だ; fact23 -> int2: もし仮にこの留意点が都道府県知事等だとすればそれは抱っこである; int1 & int2 -> int3: この留意点は抱っこである; fact22 & fact18 -> int4: この留意点は抱っこでない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「あの大徳は際どかないかもしくはそれは錬成でないかまたは両方ともである」ということは誤りである; int6 & fact20 -> int7: このメトヘモグロビンは曳航するということはない; fact2 -> int8: もし仮にこのメトヘモグロビンは曳航しないならば「想像し難くないししかもそれは均衡でない」ということは成り立つということはない; int7 & int8 -> hypothesis;
その夢見心地は均衡でない
fact28 -> int9: 仮にこのメトヘモグロビンは抱っこであるということはないとすれば「それは錬成だし加えてそれは都道府県知事等でない」ということは成り立たない; fact27 -> int10: もし「このメトヘモグロビンは抱っこであるし曳航する」ということは間違いならばそれは抱っこでない; int10 & fact26 -> int11: このメトヘモグロビンは抱っこでない; int9 & int11 -> int12: 「このメトヘモグロビンは錬成であるけどそれは都道府県知事等でない」ということは誤っている; int12 -> int13: 「「錬成だけど都道府県知事等でない」ということは誤りである」ものはある;
$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: 「このメトヘモグロビンは抱っこだしさらに曳航する」ということは間違いである fact25: なにかは抱っこでないとすれば「それは錬成であるし都道府県知事等でない」ということは成り立たない ; $hypothesis$ = このメトヘモグロビンは想像し難くないし更に均衡でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの大徳は際どかないかもしくはそれは錬成でないかどちらもだ; assump1 & fact14 & fact9 -> int1: この留意点は都道府県知事等だ; fact23 -> int2: もし仮にこの留意点が都道府県知事等だとすればそれは抱っこである; int1 & int2 -> int3: この留意点は抱っこである; fact22 & fact18 -> int4: この留意点は抱っこでない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「あの大徳は際どかないかもしくはそれは錬成でないかまたは両方ともである」ということは誤りである; int6 & fact20 -> int7: このメトヘモグロビンは曳航するということはない; fact2 -> int8: もし仮にこのメトヘモグロビンは曳航しないならば「想像し難くないししかもそれは均衡でない」ということは成り立つということはない; int7 & int8 -> hypothesis; __DISPROVED__
事実1: 「この留意点が錬成だししかもそれは都道府県知事等である」ということは間違いだ
事実2: 仮になんらかのものは曳航しないなら「それは想像し難いということはないしそれに均衡でない」ということは事実でない
事実3: あの自己注射は錬成だ
事実4: もし仮に「なにがしかのものは抱っこであるししかも曳航する」ということは間違いであるとするとそれは抱っこでない
事実5: あの大徳は錬成でないか均衡だということはないかまたは両方ともだ
事実6: もしとある物は曳航しないとすれば「それは想像し難い一方で均衡でない」ということは誤っている
事実7: 仮に「このメトヘモグロビンは曳航しない」ということは確かなら「想像し難いが均衡でない」ということは成り立たない
事実8: 仮に「このメトヘモグロビンは曳航しない」ということは成り立つとすれば「「想像し難いということはないけど均衡だ」ということは確かだ」ということは事実と異なる
事実9: 仮にあの大徳が錬成でないならばこの留意点は都道府県知事等である
事実10: あの大徳は閲覧出来ないかもしくはそれは均衡でない
事実11: 「このメトヘモグロビンは想像し難くないけれど均衡である」ということは成り立つということはない
事実12: もし仮にあの大徳が想像し難くないとすればあのメトヘモグロビンは際どい
事実13: このメトヘモグロビンは現代家族でない
事実14: もしもあの大徳は際どかないとしたら「この留意点は都道府県知事等だ」ということは本当だ
事実15: 「このメトヘモグロビンは想像し難いがしかし均衡でない」ということは成り立たない
事実16: もし仮にこの留意点が曳航しないならばこのメトヘモグロビンは同意出来る
事実17: もしもなにがしかのものは想像し難いとすると「それは際どい」ということは事実である
事実18: 「この留意点は抱っこであるしそれは同意出来る」ということは嘘だとすると「それは抱っこでない」ということは事実である
事実19: 「際どかない物は想像し難いということはなくて更に均衡でない」ということは正しい
事実20: 「もし仮に「あの大徳は際どかないかあるいはそれは錬成であるということはない」ということは成り立たないならばあのメトヘモグロビンは曳航しない」ということは正しい
事実21: もし仮にとあるものは曳航しないなら「それは想像し難くないし均衡だ」ということは誤りだ
事実22: 「この留意点は抱っこで同意出来る」ということは事実と異なる
事実23: 都道府県知事等は抱っこだ
事実24: 「このメトヘモグロビンは抱っこだしさらに曳航する」ということは間違いである
事実25: なにかは抱っこでないとすれば「それは錬成であるし都道府県知事等でない」ということは成り立たない

仮説: このメトヘモグロビンは想像し難くないし更に均衡でない
1. 仮定1: 以下のように仮定する。あの大徳は際どかないかもしくはそれは錬成でないかどちらもだ
2. 仮定1と事実14と事実9から、推論1: "この留意点は都道府県知事等だ"が導かれる
3. 事実23から、推論2: "もし仮にこの留意点が都道府県知事等だとすればそれは抱っこである"が導かれる
4. 推論1と推論2から、推論3: "この留意点は抱っこである"が導かれる
5. 事実22と事実18から、推論4: "この留意点は抱っこでない"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「あの大徳は際どかないかもしくはそれは錬成でないかまたは両方ともである」ということは誤りである"が導かれる
8. 推論6と事実20から、推論7: "このメトヘモグロビンは曳航するということはない"が導かれる
9. 事実2から、推論8: "もし仮にこのメトヘモグロビンは曳航しないならば「想像し難くないししかもそれは均衡でない」ということは成り立つということはない"が導かれる
10. 推論7と推論8から、仮説が否定される

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