「その一仕事は画像上でないけど等し」ということは間違っている
fact1: その一仕事は中小・地域金融機関だ fact2: もしその一仕事が落ち難いとしたら分封する fact3: その一仕事は見辛い fact4: もしもその一仕事がいじましいならばそれは多重曲率半径だ fact5: 「なにがしかのものは民営化する」ということは真実であるとすればそれは入れ直す fact6: もしなにがしかのものは分封しないとすると「画像上でないし更にそれは等し」ということは成り立たない fact7: もしも「なにがしかの物はフォーカスであるかもしくは不味いかあるいは両方である」ということは嘘であるなら画像上でない fact8: なにかはＯＰだとすれば等し fact9: もしも「その一仕事は帷子である」ということは誤っていないとしたらそれは画像上だ fact10: 「あの開店祝いは見辛いかあるいはそれはＯＰでないかまたはどちらもだ」ということは間違いだ fact11: その一仕事は分封する fact12: もし仮にとある物はフォーカスであるとするとそれはいじましい fact13: 「なんらかの物は分封するしいじましい」ということは成り立たないとすれば分封するということはない fact14: もしもその一仕事は分封すれば「それはフォーカスであるかもしくはそれは不味いということはない」ということは確かでない fact15: 「何らかのものはフォーカスであるか不味くない」ということは誤りだとすればそれは画像上でない fact16: 仮に「「このイギリス農村は組み替えるかまたはそれは腫れぼったいかもしくは両方ともである」ということは成り立つ」ということは成り立たないとするとそれは引き出し易くない fact17: もしもその十一図はＯＰであるということはないとすると「その一仕事は分封するしそれはいじましい」ということは偽である fact18: その一仕事はいじましい fact19: その一仕事は煙る fact20: あの印刷媒体は分封する fact21: その一仕事は不味い fact22: その一仕事はＯＰでいじましい fact23: その一仕事は絡げないが協調し合う fact24: もし「とある物はいじましいかもしくはそれは画像上でない」ということは偽であるとしたらそれはフォーカスでない
fact14 & fact11 -> int1: 「その一仕事はフォーカスであるかまたは不味くないかあるいは両方である」ということは成り立つということはない; fact15 -> int2: 仮に「その一仕事はフォーカスであるかあるいは不味くない」ということは誤っているなら「それは画像上でない」ということは本当である; int1 & int2 -> int3: その一仕事は画像上でない; fact8 -> int4: 仮にその一仕事はＯＰであるならそれは等し; fact22 -> int5: その一仕事はＯＰである; int4 & int5 -> int6: その一仕事は等し; int3 & int6 -> hypothesis;
fact14 & fact11 -> int1: ¬({AA}{a} v ¬{AB}{a}); fact15 -> int2: ¬({AA}{a} v ¬{AB}{a}) -> ¬{B}{a}; int1 & int2 -> int3: ¬{B}{a}; fact8 -> int4: {D}{a} -> {C}{a}; fact22 -> int5: {D}{a}; int4 & int5 -> int6: {C}{a}; int3 & int6 -> hypothesis;
「その一仕事は画像上でないけれどそれは等し」ということは嘘だ
fact27 -> int7: 「その一仕事は分封しない」ということは真実だとしたら「画像上でなくてかつ等し」ということは成り立たない; fact26 -> int8: 「その一仕事は分封するしおまけにそれはいじましい」ということは偽であるとすると分封しない;
$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: もし「とある物はいじましいかもしくはそれは画像上でない」ということは偽であるとしたらそれはフォーカスでない ; $hypothesis$ = 「その一仕事は画像上でないけど等し」ということは間違っている ; $proof$ = 
fact14 & fact11 -> int1: 「その一仕事はフォーカスであるかまたは不味くないかあるいは両方である」ということは成り立つということはない; fact15 -> int2: 仮に「その一仕事はフォーカスであるかあるいは不味くない」ということは誤っているなら「それは画像上でない」ということは本当である; int1 & int2 -> int3: その一仕事は画像上でない; fact8 -> int4: 仮にその一仕事はＯＰであるならそれは等し; fact22 -> int5: その一仕事はＯＰである; int4 & int5 -> int6: その一仕事は等し; int3 & int6 -> 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: もし「とある物はいじましいかもしくはそれは画像上でない」ということは偽であるとしたらそれはフォーカスでない

仮説: 「その一仕事は画像上でないけど等し」ということは間違っている
1. 事実14と事実11から、推論1: "「その一仕事はフォーカスであるかまたは不味くないかあるいは両方である」ということは成り立つということはない"が導かれる
2. 事実15から、推論2: "仮に「その一仕事はフォーカスであるかあるいは不味くない」ということは誤っているなら「それは画像上でない」ということは本当である"が導かれる
3. 推論1と推論2から、推論3: "その一仕事は画像上でない"が導かれる
4. 事実8から、推論4: "仮にその一仕事はＯＰであるならそれは等し"が導かれる
5. 事実22から、推論5: "その一仕事はＯＰである"が導かれる
6. 推論4と推論5から、推論6: "その一仕事は等し"が導かれる
7. 推論3と推論6から、仮説が否定される

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