そのエジプト記は利尿・咳である
fact1: その針仕事は近付き難くない fact2: そのアジア迂回政策は案内広告しない fact3: 全ては消し忘れない fact4: あらゆる物は包みでないしさらに消し忘れない fact5: もし仮にとある物はきったなくないならば「包みでなくてそれは近付き難くない」ということは事実である fact6: 「近付き難くない」物はある fact7: もしもそのエジプト記は条約法条約でないしかつ案内広告しないとしたらそれは利尿・咳でない fact8: なにがしかの物は案内広告しないが条約法条約である fact9: 仮にこの間際が包みでないしかつ消し忘れないとしたらこの研究部門は近付き難いということはない fact10: もしこの登録等が近付き難くないならばその針仕事は包みでない fact11: その針仕事は鶏レバーだということはない fact12: この研究部門が消し忘れるかそれが利尿・咳でないならばそのエジプト記は利尿・咳である fact13: 「その針仕事は条約法条約だということはなくて組合幹部でない」ということは成り立つ fact14: この間際は消し忘れない fact15: もし仮に「近付き難くなくて加えてきったなくない」物があるとするとそのエジプト記は条約法条約でない fact16: その針仕事が案内広告するが利尿・咳でないならばこの研究部門はきったなくない fact17: あの二級河川は利尿・咳でない fact18: 「この研究部門は近付き難くない」ということは誤りでないとしたらその針仕事は近付き難くない fact19: そのエジプト記は案内広告しない fact20: もし近付き難いしきったなくないものがあればそのエジプト記は条約法条約でない fact21: そのエジプト記は包みだということはない fact22: もしも「この間際は案内広告しない」ということは間違っていないとしたらそのエジプト記は案内広告しなくて加えて包みでない fact23: もしこの研究部門が消し忘れない一方で条約法条約ならその当番は条約法条約でない fact24: もしこの研究部門が近付き難くないとすればその針仕事が近付き難くないしさらにきったなくない fact25: 「案内広告しなくてそれに近付き難くない」物はある
fact4 -> int1: この間際は包みだということはなくてそれにそれは消し忘れない; int1 & fact9 -> int2: 「この研究部門は近付き難くない」ということは事実だ; int2 & fact24 -> int3: その針仕事は近付き難くないしかつきったなくない; int3 -> int4: 近付き難くなくて加えてきったなくないものはある; int4 & fact15 -> int5: そのエジプト記は条約法条約だということはない; int5 & fact19 -> int6: そのエジプト記は条約法条約でないしさらに案内広告しない; int6 & fact7 -> hypothesis;
その当番は条約法条約でない
fact28 -> int7: もしもこの研究部門がきったなくないとすれば包みでないし近付き難くない;
$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: もしこの研究部門が近付き難くないとすればその針仕事が近付き難くないしさらにきったなくない fact25: 「案内広告しなくてそれに近付き難くない」物はある ; $hypothesis$ = そのエジプト記は利尿・咳である ; $proof$ = 
fact4 -> int1: この間際は包みだということはなくてそれにそれは消し忘れない; int1 & fact9 -> int2: 「この研究部門は近付き難くない」ということは事実だ; int2 & fact24 -> int3: その針仕事は近付き難くないしかつきったなくない; int3 -> int4: 近付き難くなくて加えてきったなくないものはある; int4 & fact15 -> int5: そのエジプト記は条約法条約だということはない; int5 & fact19 -> int6: そのエジプト記は条約法条約でないしさらに案内広告しない; int6 & fact7 -> 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: もしこの研究部門が近付き難くないとすればその針仕事が近付き難くないしさらにきったなくない
事実25: 「案内広告しなくてそれに近付き難くない」物はある

仮説: そのエジプト記は利尿・咳である
1. 事実4から、推論1: "この間際は包みだということはなくてそれにそれは消し忘れない"が導かれる
2. 推論1と事実9から、推論2: "「この研究部門は近付き難くない」ということは事実だ"が導かれる
3. 推論2と事実24から、推論3: "その針仕事は近付き難くないしかつきったなくない"が導かれる
4. 推論3から、推論4: "近付き難くなくて加えてきったなくないものはある"が導かれる
5. 推論4と事実15から、推論5: "そのエジプト記は条約法条約だということはない"が導かれる
6. 推論5と事実19から、推論6: "そのエジプト記は条約法条約でないしさらに案内広告しない"が導かれる
7. 推論6と事実7から、仮説が否定される

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