この川崎製鉄は海水面であるけど必要コストでない
fact1: もしもあの集計作業は必要コストであるかまたはＰワンレイヤであるか両方であるなら入れ物でない fact2: もしも「この基本スタンスは必要コストであるということはない」ということは成り立つとすれば「この川崎製鉄は海水面であるがしかし必要コストでない」ということは事実と異なる fact3: 「この基本スタンスが暇傷であるならあの集計作業は必要コストである」ということは成り立つ fact4: もしもあのステータスエリアが申し訳無いとするとあの集計作業は暇傷である fact5: 申し訳無い物は海水面である fact6: もし仮にあの集計作業は暇傷であるか役らしいかもしくはどちらもであるならばそれはＰワンレイヤでない fact7: この基本スタンスはＰワンレイヤである fact8: もし仮にあの集計作業がＰワンレイヤでないならこの基本スタンスは必要コストでない fact9: もしこの川崎製鉄はＰワンレイヤであるかあるいは必要コストであるかどちらもであるとすると「役らしくない」ということは確かである fact10: あのステータスエリアは申し訳無いかあるいは入れ物であるかどちらもだ fact11: あのステータスエリアが申し訳無いかもしくは暇傷であるとしたらそれは入れ物でない fact12: 仮にあの集計作業が役らしいならばそれはＰワンレイヤでない fact13: あの集計作業は維持管理しない fact14: もし仮にこの川崎製鉄が暇傷でないとすれば入れ物であるしかつそれは申し訳無い fact15: この川崎製鉄は吸収され難い fact16: 「この川崎製鉄は実現し易くないしかつＰワンレイヤでない」ということは成り立たない fact17: 仮に「この川崎製鉄は実現し易くないしＰワンレイヤでない」ということは間違っているとしたら「それは暇傷だ」ということは間違いである fact18: もしもあのステータスエリアが入れ物だとするとあの集計作業は暇傷だ
fact10 & fact4 & fact18 -> int1: あの集計作業は暇傷だ; int1 -> int2: あの集計作業は暇傷であるかあるいは役らしいかあるいは両方だ; int2 & fact6 -> int3: あの集計作業はＰワンレイヤであるということはない; int3 & fact8 -> int4: この基本スタンスは必要コストでない; int4 & fact2 -> hypothesis;
この川崎製鉄は海水面であるけれどそれは必要コストでない
fact19 -> int5: この川崎製鉄が申し訳無いとしたらそれは海水面である; fact22 & fact21 -> int6: この川崎製鉄は暇傷だということはない; fact20 & int6 -> int7: この川崎製鉄は入れ物だしおまけに申し訳無い; int7 -> int8: 「この川崎製鉄は申し訳無い」ということは成り立つ; int5 & int8 -> int9: この川崎製鉄は海水面だ;
$facts$ = fact1: もしもあの集計作業は必要コストであるかまたはＰワンレイヤであるか両方であるなら入れ物でない fact2: もしも「この基本スタンスは必要コストであるということはない」ということは成り立つとすれば「この川崎製鉄は海水面であるがしかし必要コストでない」ということは事実と異なる fact3: 「この基本スタンスが暇傷であるならあの集計作業は必要コストである」ということは成り立つ fact4: もしもあのステータスエリアが申し訳無いとするとあの集計作業は暇傷である fact5: 申し訳無い物は海水面である fact6: もし仮にあの集計作業は暇傷であるか役らしいかもしくはどちらもであるならばそれはＰワンレイヤでない fact7: この基本スタンスはＰワンレイヤである fact8: もし仮にあの集計作業がＰワンレイヤでないならこの基本スタンスは必要コストでない fact9: もしこの川崎製鉄はＰワンレイヤであるかあるいは必要コストであるかどちらもであるとすると「役らしくない」ということは確かである fact10: あのステータスエリアは申し訳無いかあるいは入れ物であるかどちらもだ fact11: あのステータスエリアが申し訳無いかもしくは暇傷であるとしたらそれは入れ物でない fact12: 仮にあの集計作業が役らしいならばそれはＰワンレイヤでない fact13: あの集計作業は維持管理しない fact14: もし仮にこの川崎製鉄が暇傷でないとすれば入れ物であるしかつそれは申し訳無い fact15: この川崎製鉄は吸収され難い fact16: 「この川崎製鉄は実現し易くないしかつＰワンレイヤでない」ということは成り立たない fact17: 仮に「この川崎製鉄は実現し易くないしＰワンレイヤでない」ということは間違っているとしたら「それは暇傷だ」ということは間違いである fact18: もしもあのステータスエリアが入れ物だとするとあの集計作業は暇傷だ ; $hypothesis$ = この川崎製鉄は海水面であるけど必要コストでない ; $proof$ = 
fact10 & fact4 & fact18 -> int1: あの集計作業は暇傷だ; int1 -> int2: あの集計作業は暇傷であるかあるいは役らしいかあるいは両方だ; int2 & fact6 -> int3: あの集計作業はＰワンレイヤであるということはない; int3 & fact8 -> int4: この基本スタンスは必要コストでない; int4 & fact2 -> hypothesis; __DISPROVED__
事実1: もしもあの集計作業は必要コストであるかまたはＰワンレイヤであるか両方であるなら入れ物でない
事実2: もしも「この基本スタンスは必要コストであるということはない」ということは成り立つとすれば「この川崎製鉄は海水面であるがしかし必要コストでない」ということは事実と異なる
事実3: 「この基本スタンスが暇傷であるならあの集計作業は必要コストである」ということは成り立つ
事実4: もしもあのステータスエリアが申し訳無いとするとあの集計作業は暇傷である
事実5: 申し訳無い物は海水面である
事実6: もし仮にあの集計作業は暇傷であるか役らしいかもしくはどちらもであるならばそれはＰワンレイヤでない
事実7: この基本スタンスはＰワンレイヤである
事実8: もし仮にあの集計作業がＰワンレイヤでないならこの基本スタンスは必要コストでない
事実9: もしこの川崎製鉄はＰワンレイヤであるかあるいは必要コストであるかどちらもであるとすると「役らしくない」ということは確かである
事実10: あのステータスエリアは申し訳無いかあるいは入れ物であるかどちらもだ
事実11: あのステータスエリアが申し訳無いかもしくは暇傷であるとしたらそれは入れ物でない
事実12: 仮にあの集計作業が役らしいならばそれはＰワンレイヤでない
事実13: あの集計作業は維持管理しない
事実14: もし仮にこの川崎製鉄が暇傷でないとすれば入れ物であるしかつそれは申し訳無い
事実15: この川崎製鉄は吸収され難い
事実16: 「この川崎製鉄は実現し易くないしかつＰワンレイヤでない」ということは成り立たない
事実17: 仮に「この川崎製鉄は実現し易くないしＰワンレイヤでない」ということは間違っているとしたら「それは暇傷だ」ということは間違いである
事実18: もしもあのステータスエリアが入れ物だとするとあの集計作業は暇傷だ

仮説: この川崎製鉄は海水面であるけど必要コストでない
1. 事実10と事実4と事実18から、推論1: "あの集計作業は暇傷だ"が導かれる
2. 推論1から、推論2: "あの集計作業は暇傷であるかあるいは役らしいかあるいは両方だ"が導かれる
3. 推論2と事実6から、推論3: "あの集計作業はＰワンレイヤであるということはない"が導かれる
4. 推論3と事実8から、推論4: "この基本スタンスは必要コストでない"が導かれる
5. 推論4と事実2から、仮説が否定される

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