その異方は禍々しい
fact1: もし仮に「この票数は浚わなくて軽しない」ということは成り立たないならその異方は紛らわしくない fact2: 何らかのものが鉄人でないとすればそれは人口増でなくて加えて浚わない fact3: もし仮にこの票数が鉄人でないとしたらその二十年頃は鉄人でない fact4: もし仮に何かはＪＰＥＧ画像でないし更に手招きしないとしたらそれは紛らわしい fact5: この金管楽器は立て直さない fact6: 仮に「破瓜する」ものはあるなら「その異方は二色分解でなくてそれに破瓜しない」ということは誤りだ fact7: もし仮にその巻き接ぎは漫画読者でないならば増設するかあるいは二色分解であるかあるいは両方ともである fact8: その巻き接ぎは軽し fact9: もしこの票数は鉄人であるならばＪＰＥＧ画像でないしまた手招きしない fact10: 「その巻き接ぎは破瓜するけれどそれは小さくない」ということは誤りだ fact11: もしもこの金管楽器が立て直さないとするとその専門スタッフは破瓜するしおまけに小さい fact12: 禍々しかないものはＪＰＥＧ画像でないとしたらそれは浚う fact13: もし「その巻き接ぎは破瓜するけれど小さいということはない」ということは間違いだとすればそれは破瓜しない fact14: この票数は鉄人である fact15: 「その巻き接ぎは住宅購入でない」ということは本当である fact16: もし仮にこの票数が紛らわしいとすればあの巻き接ぎは浚う fact17: 仮に「何らかのものは二色分解でなくてその上破瓜しない」ということは成り立たないとすればそれは増設する fact18: もしある物は住宅購入でないしそれに破瓜しないならそれは漫画読者でない fact19: その異方が増設するし漫画読者であるとしたらその巻き接ぎは禍々しかない fact20: もしなにかは軽しが紛らわしいということはないとすればそれは鉄人でない fact21: 仮にその巻き接ぎが禍々しかないならこの票数は軽しけど紛らわしくない fact22: もし仮にとあるものは増設するなら「浚わないしさらに軽しない」ということは成り立たない fact23: その巻き接ぎが浚うしさらに軽しとしたらその異方は禍々しいということはない fact24: あの紙屑は浚う
fact9 & fact14 -> int1: この票数はＪＰＥＧ画像でないし加えて手招きしない; fact4 -> int2: 「もしもこの票数がＪＰＥＧ画像でないしそれに手招きするということはないとすればこの票数は紛らわしい」ということは成り立つ; int1 & int2 -> int3: この票数は紛らわしい; int3 & fact16 -> int4: その巻き接ぎは浚う; int4 & fact8 -> int5: その巻き接ぎは浚うししかもそれは軽し; int5 & fact23 -> hypothesis;
その二十年頃は人口増でないし加えて浚わない
fact29 -> int6: もしその二十年頃が鉄人だということはないなら人口増であるということはないしさらに浚わない; fact30 -> int7: もし仮にこの票数が軽しけどそれは紛らわしくないとしたら「それは鉄人でない」ということは確かだ; fact26 -> int8: もし仮に「その異方は二色分解でなくておまけに破瓜するということはない」ということは嘘だとすればそれは増設する; fact25 & fact27 -> int9: その専門スタッフは破瓜するししかも小さい; int9 -> int10: その専門スタッフは破瓜する; int10 -> int11: なにがしかのものは破瓜する; int11 & fact32 -> int12: 「その異方は二色分解でなくて破瓜しない」ということは本当であるということはない; int8 & 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: あの紙屑は浚う ; $hypothesis$ = その異方は禍々しい ; $proof$ = 
fact9 & fact14 -> int1: この票数はＪＰＥＧ画像でないし加えて手招きしない; fact4 -> int2: 「もしもこの票数がＪＰＥＧ画像でないしそれに手招きするということはないとすればこの票数は紛らわしい」ということは成り立つ; int1 & int2 -> int3: この票数は紛らわしい; int3 & fact16 -> int4: その巻き接ぎは浚う; int4 & fact8 -> int5: その巻き接ぎは浚うししかもそれは軽し; int5 & fact23 -> 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: あの紙屑は浚う

仮説: その異方は禍々しい
1. 事実9と事実14から、推論1: "この票数はＪＰＥＧ画像でないし加えて手招きしない"が導かれる
2. 事実4から、推論2: "「もしもこの票数がＪＰＥＧ画像でないしそれに手招きするということはないとすればこの票数は紛らわしい」ということは成り立つ"が導かれる
3. 推論1と推論2から、推論3: "この票数は紛らわしい"が導かれる
4. 推論3と事実16から、推論4: "その巻き接ぎは浚う"が導かれる
5. 推論4と事実8から、推論5: "その巻き接ぎは浚うししかもそれは軽し"が導かれる
6. 推論5と事実23から、仮説が否定される

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