この出来映えは事欠かない
fact1: なにかはイラク市民である fact2: 「この信太妻伝説は短くないけれどそれは超克だ」ということは間違いだ fact3: この信太妻伝説は勢い込むとしたら「この出来映えは事欠く」ということは本当だ fact4: 「「共有結合するしさらにイラク市民でない」ということは成り立たない」物はある fact5: 崩し易い物は勢い込む fact6: もしもあの亥卯未は発毛剤であるならば働き易い fact7: もしもなにがしかの物は勢い込むということはないなら「それは崩し易いがしかし短くない」ということは間違っている fact8: 「この人民中国は超克でないけどそれは翼屋だ」ということは間違いであるならばこの信太妻伝説は短い fact9: 「この人民中国は超克でないけど翼屋だ」ということは成り立たない fact10: あのエコノミックＳは翼屋だ fact11: もしこの出来映えが崩し易いとすると熱し易い fact12: もしもこの人民中国が翼屋でないとしたらこの信太妻伝説は短い fact13: この出来映えは勢い込む fact14: なにがしかの物は働き易くないとすると「それが発毛剤だししかも勢い込む」ということは事実と異なる fact15: もし仮に「なんらかの物は崩し易い一方で短くない」ということは偽だとすれば「事欠かない」ということは確かだ fact16: 「短い物は崩し易い」ということは本当である fact17: あの亥卯未は働き易いなら「それは事欠かないかあるいは短いかあるいは両方ともだ」ということは成り立つということはない
fact8 & fact9 -> int1: この信太妻伝説は短い; fact16 -> int2: もしも「この信太妻伝説は短い」ということは正しいとすればそれは崩し易い; int1 & int2 -> int3: この信太妻伝説は崩し易い; fact5 -> int4: もし仮にこの信太妻伝説が崩し易いとしたら勢い込む; int3 & int4 -> int5: 「この信太妻伝説は勢い込む」ということは事実だ; int5 & fact3 -> hypothesis;
あの亥卯未は勢い込む
$facts$ = fact1: なにかはイラク市民である fact2: 「この信太妻伝説は短くないけれどそれは超克だ」ということは間違いだ fact3: この信太妻伝説は勢い込むとしたら「この出来映えは事欠く」ということは本当だ fact4: 「「共有結合するしさらにイラク市民でない」ということは成り立たない」物はある fact5: 崩し易い物は勢い込む fact6: もしもあの亥卯未は発毛剤であるならば働き易い fact7: もしもなにがしかの物は勢い込むということはないなら「それは崩し易いがしかし短くない」ということは間違っている fact8: 「この人民中国は超克でないけどそれは翼屋だ」ということは間違いであるならばこの信太妻伝説は短い fact9: 「この人民中国は超克でないけど翼屋だ」ということは成り立たない fact10: あのエコノミックＳは翼屋だ fact11: もしこの出来映えが崩し易いとすると熱し易い fact12: もしもこの人民中国が翼屋でないとしたらこの信太妻伝説は短い fact13: この出来映えは勢い込む fact14: なにがしかの物は働き易くないとすると「それが発毛剤だししかも勢い込む」ということは事実と異なる fact15: もし仮に「なんらかの物は崩し易い一方で短くない」ということは偽だとすれば「事欠かない」ということは確かだ fact16: 「短い物は崩し易い」ということは本当である fact17: あの亥卯未は働き易いなら「それは事欠かないかあるいは短いかあるいは両方ともだ」ということは成り立つということはない ; $hypothesis$ = この出来映えは事欠かない ; $proof$ = 
fact8 & fact9 -> int1: この信太妻伝説は短い; fact16 -> int2: もしも「この信太妻伝説は短い」ということは正しいとすればそれは崩し易い; int1 & int2 -> int3: この信太妻伝説は崩し易い; fact5 -> int4: もし仮にこの信太妻伝説が崩し易いとしたら勢い込む; int3 & int4 -> int5: 「この信太妻伝説は勢い込む」ということは事実だ; int5 & fact3 -> hypothesis; __DISPROVED__
事実1: なにかはイラク市民である
事実2: 「この信太妻伝説は短くないけれどそれは超克だ」ということは間違いだ
事実3: この信太妻伝説は勢い込むとしたら「この出来映えは事欠く」ということは本当だ
事実4: 「「共有結合するしさらにイラク市民でない」ということは成り立たない」物はある
事実5: 崩し易い物は勢い込む
事実6: もしもあの亥卯未は発毛剤であるならば働き易い
事実7: もしもなにがしかの物は勢い込むということはないなら「それは崩し易いがしかし短くない」ということは間違っている
事実8: 「この人民中国は超克でないけどそれは翼屋だ」ということは間違いであるならばこの信太妻伝説は短い
事実9: 「この人民中国は超克でないけど翼屋だ」ということは成り立たない
事実10: あのエコノミックＳは翼屋だ
事実11: もしこの出来映えが崩し易いとすると熱し易い
事実12: もしもこの人民中国が翼屋でないとしたらこの信太妻伝説は短い
事実13: この出来映えは勢い込む
事実14: なにがしかの物は働き易くないとすると「それが発毛剤だししかも勢い込む」ということは事実と異なる
事実15: もし仮に「なんらかの物は崩し易い一方で短くない」ということは偽だとすれば「事欠かない」ということは確かだ
事実16: 「短い物は崩し易い」ということは本当である
事実17: あの亥卯未は働き易いなら「それは事欠かないかあるいは短いかあるいは両方ともだ」ということは成り立つということはない

仮説: この出来映えは事欠かない
1. 事実8と事実9から、推論1: "この信太妻伝説は短い"が導かれる
2. 事実16から、推論2: "もしも「この信太妻伝説は短い」ということは正しいとすればそれは崩し易い"が導かれる
3. 推論1と推論2から、推論3: "この信太妻伝説は崩し易い"が導かれる
4. 事実5から、推論4: "もし仮にこの信太妻伝説が崩し易いとしたら勢い込む"が導かれる
5. 推論3と推論4から、推論5: "「この信太妻伝説は勢い込む」ということは事実だ"が導かれる
6. 推論5と事実3から、仮説が否定される

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