あの世界言語権宣言は見切れる
fact1: 「そのパート労働者は捕集しないかそれは探り始める」ということは間違っている fact2: 「その励起光は探り始めない」ということは成り立つ fact3: もし「あの世界言語権宣言は見切れないかあるいは三複合体であるか両方である」ということは偽だとするとその江戸後期は探り始めない fact4: その一般犯罪は探り始めない fact5: 仮に「その江戸後期は三複合体でないかあるいは探り始めるかもしくは両方ともだ」ということは偽であるならばあの世界言語権宣言は見切れない fact6: もし仮に何らかの物がエレクトロニクス輸出だとしたら見切れる fact7: 仮に「その江戸後期は見切れないかもしくは三複合体であるかあるいはどちらもだ」ということは偽だとしたら「あの世界言語権宣言は探り始める」ということは事実と異なる fact8: とあるものは御辛いということはないならば「それは見切れなくてかつエレクトロニクス輸出であるということはない」ということは成り立たない fact9: 三複合体でないかそれは探り始めるかまたはどちらもであるという物はない fact10: その江戸後期は探り始めない fact11: 「その江戸後期は見切れないかまたは探り始めるかまたはどちらもである」ということは事実と異なる fact12: あの世界言語権宣言は探り始めない fact13: 「集合する」物はある fact14: 何もかもは探り始めない
fact9 -> int1: 「その江戸後期は三複合体でないかまたは探り始めるかあるいは両方である」ということは間違っている; int1 & fact5 -> hypothesis;
fact9 -> int1: ¬(¬{AA}{aa} v {AB}{aa}); int1 & fact5 -> hypothesis;
あの仕事場は探り始めない
fact15 -> int2: もし仮にあの世界言語権宣言は御辛くないとしたら「それは見切れないしエレクトロニクス輸出でない」ということは成り立たない;
$facts$ = fact1: 「そのパート労働者は捕集しないかそれは探り始める」ということは間違っている fact2: 「その励起光は探り始めない」ということは成り立つ fact3: もし「あの世界言語権宣言は見切れないかあるいは三複合体であるか両方である」ということは偽だとするとその江戸後期は探り始めない fact4: その一般犯罪は探り始めない fact5: 仮に「その江戸後期は三複合体でないかあるいは探り始めるかもしくは両方ともだ」ということは偽であるならばあの世界言語権宣言は見切れない fact6: もし仮に何らかの物がエレクトロニクス輸出だとしたら見切れる fact7: 仮に「その江戸後期は見切れないかもしくは三複合体であるかあるいはどちらもだ」ということは偽だとしたら「あの世界言語権宣言は探り始める」ということは事実と異なる fact8: とあるものは御辛いということはないならば「それは見切れなくてかつエレクトロニクス輸出であるということはない」ということは成り立たない fact9: 三複合体でないかそれは探り始めるかまたはどちらもであるという物はない fact10: その江戸後期は探り始めない fact11: 「その江戸後期は見切れないかまたは探り始めるかまたはどちらもである」ということは事実と異なる fact12: あの世界言語権宣言は探り始めない fact13: 「集合する」物はある fact14: 何もかもは探り始めない ; $hypothesis$ = あの世界言語権宣言は見切れる ; $proof$ = 
fact9 -> int1: 「その江戸後期は三複合体でないかまたは探り始めるかあるいは両方である」ということは間違っている; int1 & fact5 -> hypothesis; __DISPROVED__
事実1: 「そのパート労働者は捕集しないかそれは探り始める」ということは間違っている
事実2: 「その励起光は探り始めない」ということは成り立つ
事実3: もし「あの世界言語権宣言は見切れないかあるいは三複合体であるか両方である」ということは偽だとするとその江戸後期は探り始めない
事実4: その一般犯罪は探り始めない
事実5: 仮に「その江戸後期は三複合体でないかあるいは探り始めるかもしくは両方ともだ」ということは偽であるならばあの世界言語権宣言は見切れない
事実6: もし仮に何らかの物がエレクトロニクス輸出だとしたら見切れる
事実7: 仮に「その江戸後期は見切れないかもしくは三複合体であるかあるいはどちらもだ」ということは偽だとしたら「あの世界言語権宣言は探り始める」ということは事実と異なる
事実8: とあるものは御辛いということはないならば「それは見切れなくてかつエレクトロニクス輸出であるということはない」ということは成り立たない
事実9: 三複合体でないかそれは探り始めるかまたはどちらもであるという物はない
事実10: その江戸後期は探り始めない
事実11: 「その江戸後期は見切れないかまたは探り始めるかまたはどちらもである」ということは事実と異なる
事実12: あの世界言語権宣言は探り始めない
事実13: 「集合する」物はある
事実14: 何もかもは探り始めない

仮説: あの世界言語権宣言は見切れる
1. 事実9から、推論1: "「その江戸後期は三複合体でないかまたは探り始めるかあるいは両方である」ということは間違っている"が導かれる
2. 推論1と事実5から、仮説が否定される

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