あの版元は悪しくない
fact1: あの版元は勝ち得るし加えてそれは月刊誌である fact2: 「あの援護措置は潔し」ということは成り立つ fact3: 何かは数値化するとすると「それは悪しくないしおまけにそれは勝ち得る」ということは誤りだ fact4: あの版元は作品中でない fact5: もし何らかのものは月刊誌ならば「それは勝ち得なくてまた潔し」ということは偽である fact6: 「あの版元は少なしない一方でそれは勝ち得る」ということは事実と異なる fact7: もしあの版元は勝ち得るとしたら「男の子らしいということはない一方で下方だ」ということは成り立たない fact8: 「仮に何らかの物は悪しいとしたら「それは月刊誌でなくてそれは潔し」ということは成り立たない」ということは成り立つ fact9: あの版元が潔しなら数値化する fact10: この自宅内は作品中であるということはないがしかしそれは挨拶する fact11: あの版元は行い始めるしさらにそれは幼稚園だ fact12: あの体位性頻拍は月刊誌だ fact13: 「この魔神共は数値化する」ということは確かでない fact14: あの版元は潔し fact15: 仮に「ある物はステアリングホイールだ」ということは正しいなら「それは可笑しないけど過る」ということは間違いである
fact1 -> int1: あの版元は勝ち得る; void -> assump1: 以下のように仮定する。あの版元は悪しくない; int1 & assump1 -> int2: あの版元は悪しくないがしかしそれは勝ち得る; fact3 -> int3: もしあの版元は数値化するとしたら「それは悪しくないしそれにそれは勝ち得る」ということは成り立たない; fact9 & fact14 -> int4: あの版元は数値化する; int3 & int4 -> int5: 「あの版元は悪しくないけれど勝ち得る」ということは成り立たない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
もし仮にあのマジックはステアリングホイールであるとしたら「可笑しということはないがしかし過る」ということは成り立たない
fact16 -> hypothesis;
$facts$ = fact1: あの版元は勝ち得るし加えてそれは月刊誌である fact2: 「あの援護措置は潔し」ということは成り立つ fact3: 何かは数値化するとすると「それは悪しくないしおまけにそれは勝ち得る」ということは誤りだ fact4: あの版元は作品中でない fact5: もし何らかのものは月刊誌ならば「それは勝ち得なくてまた潔し」ということは偽である fact6: 「あの版元は少なしない一方でそれは勝ち得る」ということは事実と異なる fact7: もしあの版元は勝ち得るとしたら「男の子らしいということはない一方で下方だ」ということは成り立たない fact8: 「仮に何らかの物は悪しいとしたら「それは月刊誌でなくてそれは潔し」ということは成り立たない」ということは成り立つ fact9: あの版元が潔しなら数値化する fact10: この自宅内は作品中であるということはないがしかしそれは挨拶する fact11: あの版元は行い始めるしさらにそれは幼稚園だ fact12: あの体位性頻拍は月刊誌だ fact13: 「この魔神共は数値化する」ということは確かでない fact14: あの版元は潔し fact15: 仮に「ある物はステアリングホイールだ」ということは正しいなら「それは可笑しないけど過る」ということは間違いである ; $hypothesis$ = あの版元は悪しくない ; $proof$ = 
fact1 -> int1: あの版元は勝ち得る; void -> assump1: 以下のように仮定する。あの版元は悪しくない; int1 & assump1 -> int2: あの版元は悪しくないがしかしそれは勝ち得る; fact3 -> int3: もしあの版元は数値化するとしたら「それは悪しくないしそれにそれは勝ち得る」ということは成り立たない; fact9 & fact14 -> int4: あの版元は数値化する; int3 & int4 -> int5: 「あの版元は悪しくないけれど勝ち得る」ということは成り立たない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: あの版元は勝ち得るし加えてそれは月刊誌である
事実2: 「あの援護措置は潔し」ということは成り立つ
事実3: 何かは数値化するとすると「それは悪しくないしおまけにそれは勝ち得る」ということは誤りだ
事実4: あの版元は作品中でない
事実5: もし何らかのものは月刊誌ならば「それは勝ち得なくてまた潔し」ということは偽である
事実6: 「あの版元は少なしない一方でそれは勝ち得る」ということは事実と異なる
事実7: もしあの版元は勝ち得るとしたら「男の子らしいということはない一方で下方だ」ということは成り立たない
事実8: 「仮に何らかの物は悪しいとしたら「それは月刊誌でなくてそれは潔し」ということは成り立たない」ということは成り立つ
事実9: あの版元が潔しなら数値化する
事実10: この自宅内は作品中であるということはないがしかしそれは挨拶する
事実11: あの版元は行い始めるしさらにそれは幼稚園だ
事実12: あの体位性頻拍は月刊誌だ
事実13: 「この魔神共は数値化する」ということは確かでない
事実14: あの版元は潔し
事実15: 仮に「ある物はステアリングホイールだ」ということは正しいなら「それは可笑しないけど過る」ということは間違いである

仮説: あの版元は悪しくない
1. 事実1から、推論1: "あの版元は勝ち得る"が導かれる
2. 仮定1: 以下のように仮定する。あの版元は悪しくない
3. 推論1と仮定1から、推論2: "あの版元は悪しくないがしかしそれは勝ち得る"が導かれる
4. 事実3から、推論3: "もしあの版元は数値化するとしたら「それは悪しくないしそれにそれは勝ち得る」ということは成り立たない"が導かれる
5. 事実9と事実14から、推論4: "あの版元は数値化する"が導かれる
6. 推論3と推論4から、推論5: "「あの版元は悪しくないけれど勝ち得る」ということは成り立たない"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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