「あの苛酷さは割り算するが爆走しない」ということは事実と異なる
fact1: 仮に中国史上唯一はあるとすれば「その外部システムはコイルセンターであるしかつ短里である」ということは嘘である fact2: もし仮にとある物が中国史上唯一でないとしたら短里であるかまたは拒まないかあるいは両方ともである fact3: もし仮にあの半眼が偏移しないなら爆走するが微言でない fact4: もし仮になにがしかのものが公機でないとしたら割り算するしそれは爆走しない fact5: 仮にそのテレフォンカードは公機であるなら「「あの苛酷さはおっかしいが加入対象でない」ということは嘘だ」ということは正しい fact6: 「「狭いけど交え用いない」ということは間違っている」物はある fact7: もし仮に何らかのものは短里でないとしたら「それは拒むということはないかあるいは公機であるかまたはどちらもである」ということは成り立たない fact8: もしなにがしかのものが短里であるかもしくは拒まないとすれば「それは爆走しない」ということは正しい fact9: 仮に「とある物はコイルセンターであるしそれは短里である」ということは間違っているとしたら短里でない fact10: 仮に何らかの物は爆走しないならば「そのテレフォンカードは割り算するがそれは公機でない」ということは成り立たない fact11: 「「拒むということはないかあるいは公機であるかまたは両方ともである」ということは成り立たない」物はあるとしたら「そのテレフォンカードは割り算しない」ということは間違いでない fact12: もし「なにかは割り算する一方で公機でない」ということは成り立たないとしたら「公機である」ということは確かだ fact13: もし「「「狭いけれど交え用いない」ということは成り立つ」ということは間違っている」ものがあるとしたらあの苛酷さは公機でない fact14: もし「その外部システムはコイルセンターであるが姦しくない」ということは成り立たないとすれば中国史上唯一であるということはない fact15: あの和音集団は中国史上唯一である
fact6 & fact13 -> int1: あの苛酷さは公機でない; fact4 -> int2: もしもあの苛酷さが公機でないならばそれは割り算するし爆走しない; int1 & int2 -> hypothesis;
fact6 & fact13 -> int1: ¬{A}{a}; fact4 -> int2: ¬{A}{a} -> ({B}{a} & ¬{C}{a}); int1 & int2 -> hypothesis;
「あの苛酷さは割り算するけど爆走しない」ということは成り立つということはない
fact18 -> int3: もしもその外部システムは短里でないとすると「拒まないか公機であるかまたはどちらもだ」ということは偽だ; fact20 -> int4: もし仮に「その外部システムはコイルセンターであるししかも短里だ」ということは成り立たないとすると短里でない; fact19 -> int5: 中国史上唯一はある; int5 & fact16 -> int6: 「その外部システムはコイルセンターで短里である」ということは事実と異なる; int4 & int6 -> int7: その外部システムは短里でない; int3 & int7 -> int8: 「その外部システムは拒まないかもしくは公機だ」ということは偽だ; int8 -> int9: 「「拒まないか公機である」ということは成り立たない」物はある; int9 & fact17 -> int10: そのテレフォンカードは割り算するということはない; int10 -> int11: 「割り算しない」物はある;
$facts$ = fact1: 仮に中国史上唯一はあるとすれば「その外部システムはコイルセンターであるしかつ短里である」ということは嘘である fact2: もし仮にとある物が中国史上唯一でないとしたら短里であるかまたは拒まないかあるいは両方ともである fact3: もし仮にあの半眼が偏移しないなら爆走するが微言でない fact4: もし仮になにがしかのものが公機でないとしたら割り算するしそれは爆走しない fact5: 仮にそのテレフォンカードは公機であるなら「「あの苛酷さはおっかしいが加入対象でない」ということは嘘だ」ということは正しい fact6: 「「狭いけど交え用いない」ということは間違っている」物はある fact7: もし仮に何らかのものは短里でないとしたら「それは拒むということはないかあるいは公機であるかまたはどちらもである」ということは成り立たない fact8: もしなにがしかのものが短里であるかもしくは拒まないとすれば「それは爆走しない」ということは正しい fact9: 仮に「とある物はコイルセンターであるしそれは短里である」ということは間違っているとしたら短里でない fact10: 仮に何らかの物は爆走しないならば「そのテレフォンカードは割り算するがそれは公機でない」ということは成り立たない fact11: 「「拒むということはないかあるいは公機であるかまたは両方ともである」ということは成り立たない」物はあるとしたら「そのテレフォンカードは割り算しない」ということは間違いでない fact12: もし「なにかは割り算する一方で公機でない」ということは成り立たないとしたら「公機である」ということは確かだ fact13: もし「「「狭いけれど交え用いない」ということは成り立つ」ということは間違っている」ものがあるとしたらあの苛酷さは公機でない fact14: もし「その外部システムはコイルセンターであるが姦しくない」ということは成り立たないとすれば中国史上唯一であるということはない fact15: あの和音集団は中国史上唯一である ; $hypothesis$ = 「あの苛酷さは割り算するが爆走しない」ということは事実と異なる ; $proof$ = 
fact6 & fact13 -> int1: あの苛酷さは公機でない; fact4 -> int2: もしもあの苛酷さが公機でないならばそれは割り算するし爆走しない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮に中国史上唯一はあるとすれば「その外部システムはコイルセンターであるしかつ短里である」ということは嘘である
事実2: もし仮にとある物が中国史上唯一でないとしたら短里であるかまたは拒まないかあるいは両方ともである
事実3: もし仮にあの半眼が偏移しないなら爆走するが微言でない
事実4: もし仮になにがしかのものが公機でないとしたら割り算するしそれは爆走しない
事実5: 仮にそのテレフォンカードは公機であるなら「「あの苛酷さはおっかしいが加入対象でない」ということは嘘だ」ということは正しい
事実6: 「「狭いけど交え用いない」ということは間違っている」物はある
事実7: もし仮に何らかのものは短里でないとしたら「それは拒むということはないかあるいは公機であるかまたはどちらもである」ということは成り立たない
事実8: もしなにがしかのものが短里であるかもしくは拒まないとすれば「それは爆走しない」ということは正しい
事実9: 仮に「とある物はコイルセンターであるしそれは短里である」ということは間違っているとしたら短里でない
事実10: 仮に何らかの物は爆走しないならば「そのテレフォンカードは割り算するがそれは公機でない」ということは成り立たない
事実11: 「「拒むということはないかあるいは公機であるかまたは両方ともである」ということは成り立たない」物はあるとしたら「そのテレフォンカードは割り算しない」ということは間違いでない
事実12: もし「なにかは割り算する一方で公機でない」ということは成り立たないとしたら「公機である」ということは確かだ
事実13: もし「「「狭いけれど交え用いない」ということは成り立つ」ということは間違っている」ものがあるとしたらあの苛酷さは公機でない
事実14: もし「その外部システムはコイルセンターであるが姦しくない」ということは成り立たないとすれば中国史上唯一であるということはない
事実15: あの和音集団は中国史上唯一である

仮説: 「あの苛酷さは割り算するが爆走しない」ということは事実と異なる
1. 事実6と事実13から、推論1: "あの苛酷さは公機でない"が導かれる
2. 事実4から、推論2: "もしもあの苛酷さが公機でないならばそれは割り算するし爆走しない"が導かれる
3. 推論1と推論2から、仮説が否定される

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