その男女共同参画基本計画は薄青くない
fact1: そのＥＵＲＯは顧客データベースでない fact2: もし仮に「このＣＤ‐Ｒドライブは説明し易い一方で顧客データベースでない」ということは誤りであるとしたらそのＥＵＲＯは説明し易い fact3: もし仮にあの水系塗料が立往生しないとしたら拘留するし説明し易い fact4: もし仮になんらかのものは顧客データベースでないとしたら「それは薄青くないし立往生しない」ということは間違いである fact5: あの水系塗料は繰り延べるけれど九十五年頃でない fact6: 「「説明し易いけれど拘留しない」ということは成り立たない」ものはあれば「あのＲＶ車は発現し易い」ということは事実だ fact7: あの水系塗料は九十五年頃でない fact8: もしあの水系塗料は拘留するなら「その男女共同参画基本計画は拘留する」ということは事実だ fact9: 仮にとある物は発現し易いとすると「それは場合以上だ」ということは正しい fact10: もし仮に「「薄青くないしかつ立往生しない」ということは本当でない」ものがあるならあの水系塗料は薄青い fact11: そのＥＵＲＯが実行し易いかもしくは発現し易いかあるいはどちらもであるとすると拘留しない fact12: 仮になにかは薄青いとしたら「「説明し易くておまけにそれは拘留しない」ということは成り立つ」ということは誤りである fact13: もし仮に「そのＥＵＲＯは発現し易いけれどそれは薄青くない」ということは正しくないならばその男女共同参画基本計画は発現し易い fact14: あの水系塗料が繰り延べる一方で九十五年頃でないならばあのＥＵＲＯは実行し易い fact15: もしもあの水系塗料が繰り延べるし更に九十五年頃だとすればそのＥＵＲＯは実行し易い fact16: このＣＤ‐Ｒドライブが顧客データベースならばそのＥＵＲＯは説明し易い fact17: 仮にそのＥＵＲＯが発現し易いなら拘留しない fact18: もし「何らかのものは発現し易くないしおまけに実行し易くない」ということは成り立たないとするとそれは薄青くない fact19: 「このＣＤ‐Ｒドライブは説明し易いが顧客データベースでない」ということは偽だ fact20: 「このＣＤ‐Ｒドライブは説明し易いしかつ顧客データベースだ」ということは成り立たない fact21: そのＥＵＲＯが顧客データベースでないがそれが立往生するならばあの水系塗料は立往生しない fact22: もしもそのＥＵＲＯが搬送しないならそれは顧客データベースでない一方で立往生する fact23: もしそのＥＵＲＯが説明し易いけど拘留しないならその男女共同参画基本計画は薄青い
fact14 & fact5 -> int1: そのＥＵＲＯは実行し易い; int1 -> int2: そのＥＵＲＯは実行し易いかそれは発現し易いかまたは両方である; int2 & fact11 -> int3: そのＥＵＲＯは拘留しない; fact19 & fact2 -> int4: そのＥＵＲＯは説明し易い; int3 & int4 -> int5: そのＥＵＲＯは説明し易いがしかし拘留しない; int5 & fact23 -> hypothesis;
その男女共同参画基本計画は薄青くない
fact27 -> int6: 「その男女共同参画基本計画が発現し易いということはないしその上実行し易くない」ということは成り立たないなら「薄青くない」ということは真実である;
$facts$ = fact1: そのＥＵＲＯは顧客データベースでない fact2: もし仮に「このＣＤ‐Ｒドライブは説明し易い一方で顧客データベースでない」ということは誤りであるとしたらそのＥＵＲＯは説明し易い fact3: もし仮にあの水系塗料が立往生しないとしたら拘留するし説明し易い fact4: もし仮になんらかのものは顧客データベースでないとしたら「それは薄青くないし立往生しない」ということは間違いである fact5: あの水系塗料は繰り延べるけれど九十五年頃でない fact6: 「「説明し易いけれど拘留しない」ということは成り立たない」ものはあれば「あのＲＶ車は発現し易い」ということは事実だ fact7: あの水系塗料は九十五年頃でない fact8: もしあの水系塗料は拘留するなら「その男女共同参画基本計画は拘留する」ということは事実だ fact9: 仮にとある物は発現し易いとすると「それは場合以上だ」ということは正しい fact10: もし仮に「「薄青くないしかつ立往生しない」ということは本当でない」ものがあるならあの水系塗料は薄青い fact11: そのＥＵＲＯが実行し易いかもしくは発現し易いかあるいはどちらもであるとすると拘留しない fact12: 仮になにかは薄青いとしたら「「説明し易くておまけにそれは拘留しない」ということは成り立つ」ということは誤りである fact13: もし仮に「そのＥＵＲＯは発現し易いけれどそれは薄青くない」ということは正しくないならばその男女共同参画基本計画は発現し易い fact14: あの水系塗料が繰り延べる一方で九十五年頃でないならばあのＥＵＲＯは実行し易い fact15: もしもあの水系塗料が繰り延べるし更に九十五年頃だとすればそのＥＵＲＯは実行し易い fact16: このＣＤ‐Ｒドライブが顧客データベースならばそのＥＵＲＯは説明し易い fact17: 仮にそのＥＵＲＯが発現し易いなら拘留しない fact18: もし「何らかのものは発現し易くないしおまけに実行し易くない」ということは成り立たないとするとそれは薄青くない fact19: 「このＣＤ‐Ｒドライブは説明し易いが顧客データベースでない」ということは偽だ fact20: 「このＣＤ‐Ｒドライブは説明し易いしかつ顧客データベースだ」ということは成り立たない fact21: そのＥＵＲＯが顧客データベースでないがそれが立往生するならばあの水系塗料は立往生しない fact22: もしもそのＥＵＲＯが搬送しないならそれは顧客データベースでない一方で立往生する fact23: もしそのＥＵＲＯが説明し易いけど拘留しないならその男女共同参画基本計画は薄青い ; $hypothesis$ = その男女共同参画基本計画は薄青くない ; $proof$ = 
fact14 & fact5 -> int1: そのＥＵＲＯは実行し易い; int1 -> int2: そのＥＵＲＯは実行し易いかそれは発現し易いかまたは両方である; int2 & fact11 -> int3: そのＥＵＲＯは拘留しない; fact19 & fact2 -> int4: そのＥＵＲＯは説明し易い; int3 & int4 -> int5: そのＥＵＲＯは説明し易いがしかし拘留しない; int5 & fact23 -> 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: もしそのＥＵＲＯが説明し易いけど拘留しないならその男女共同参画基本計画は薄青い

仮説: その男女共同参画基本計画は薄青くない
1. 事実14と事実5から、推論1: "そのＥＵＲＯは実行し易い"が導かれる
2. 推論1から、推論2: "そのＥＵＲＯは実行し易いかそれは発現し易いかまたは両方である"が導かれる
3. 推論2と事実11から、推論3: "そのＥＵＲＯは拘留しない"が導かれる
4. 事実19と事実2から、推論4: "そのＥＵＲＯは説明し易い"が導かれる
5. 推論3と推論4から、推論5: "そのＥＵＲＯは説明し易いがしかし拘留しない"が導かれる
6. 推論5と事実23から、仮説が否定される

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