あの色立体は一件落着しない
fact1: ある物が遊ぶならあの色立体は一件落着する fact2: この数十軒は本案判決である fact3: あの色立体は光沢度だ fact4: 本案判決は一件落着する fact5: 仮になにがしかの物はサファイヤであるとすれば「崩し易くないし進行出来るということはない」ということは間違っている fact6: もし仮にこの四十絡みはどす黒いとすると「この左欄はどす黒いということはない」ということは成り立つ fact7: この四十絡みはどす黒いか旨しない fact8: とあるものが一件落着するか遊ぶならこの数十軒は本案判決である fact9: もし「とあるものは本案判決であるかそれは遊ぶ」ということは真実であるとするとあの色立体は一件落着する fact10: もし仮に「とあるものは崩し易くないしかつ進行出来るということはない」ということは事実と異なるとしたら遊ばない fact11: もしこの数十軒がサファイヤならばあの色立体はサファイヤである fact12: あの色立体は持続期間だ fact13: もしも「この左欄は平安時代末期だけれどそれはＵＮドゥーでない」ということは事実と異なるとしたらこの数十軒はサファイヤだ fact14: なにがしかのものはどす黒くないなら「それは平安時代末期だがＵＮドゥーでない」ということは成り立つということはない
fact2 -> int1: この数十軒は本案判決であるかまたは遊ぶかもしくは両方ともだ; int1 -> int2: とある物は本案判決であるかあるいは遊ぶかあるいは両方ともである; int2 & fact9 -> hypothesis;
fact2 -> int1: ({A}{a} v {B}{a}); int1 -> int2: (Ex): ({A}x v {B}x); int2 & fact9 -> hypothesis;
この価値法則は一件落着する
fact15 -> int3: もしもこの価値法則が本案判決だとすればそれは一件落着する;
$facts$ = fact1: ある物が遊ぶならあの色立体は一件落着する fact2: この数十軒は本案判決である fact3: あの色立体は光沢度だ fact4: 本案判決は一件落着する fact5: 仮になにがしかの物はサファイヤであるとすれば「崩し易くないし進行出来るということはない」ということは間違っている fact6: もし仮にこの四十絡みはどす黒いとすると「この左欄はどす黒いということはない」ということは成り立つ fact7: この四十絡みはどす黒いか旨しない fact8: とあるものが一件落着するか遊ぶならこの数十軒は本案判決である fact9: もし「とあるものは本案判決であるかそれは遊ぶ」ということは真実であるとするとあの色立体は一件落着する fact10: もし仮に「とあるものは崩し易くないしかつ進行出来るということはない」ということは事実と異なるとしたら遊ばない fact11: もしこの数十軒がサファイヤならばあの色立体はサファイヤである fact12: あの色立体は持続期間だ fact13: もしも「この左欄は平安時代末期だけれどそれはＵＮドゥーでない」ということは事実と異なるとしたらこの数十軒はサファイヤだ fact14: なにがしかのものはどす黒くないなら「それは平安時代末期だがＵＮドゥーでない」ということは成り立つということはない ; $hypothesis$ = あの色立体は一件落着しない ; $proof$ = 
fact2 -> int1: この数十軒は本案判決であるかまたは遊ぶかもしくは両方ともだ; int1 -> int2: とある物は本案判決であるかあるいは遊ぶかあるいは両方ともである; int2 & fact9 -> hypothesis; __DISPROVED__
事実1: ある物が遊ぶならあの色立体は一件落着する
事実2: この数十軒は本案判決である
事実3: あの色立体は光沢度だ
事実4: 本案判決は一件落着する
事実5: 仮になにがしかの物はサファイヤであるとすれば「崩し易くないし進行出来るということはない」ということは間違っている
事実6: もし仮にこの四十絡みはどす黒いとすると「この左欄はどす黒いということはない」ということは成り立つ
事実7: この四十絡みはどす黒いか旨しない
事実8: とあるものが一件落着するか遊ぶならこの数十軒は本案判決である
事実9: もし「とあるものは本案判決であるかそれは遊ぶ」ということは真実であるとするとあの色立体は一件落着する
事実10: もし仮に「とあるものは崩し易くないしかつ進行出来るということはない」ということは事実と異なるとしたら遊ばない
事実11: もしこの数十軒がサファイヤならばあの色立体はサファイヤである
事実12: あの色立体は持続期間だ
事実13: もしも「この左欄は平安時代末期だけれどそれはＵＮドゥーでない」ということは事実と異なるとしたらこの数十軒はサファイヤだ
事実14: なにがしかのものはどす黒くないなら「それは平安時代末期だがＵＮドゥーでない」ということは成り立つということはない

仮説: あの色立体は一件落着しない
1. 事実2から、推論1: "この数十軒は本案判決であるかまたは遊ぶかもしくは両方ともだ"が導かれる
2. 推論1から、推論2: "とある物は本案判決であるかあるいは遊ぶかあるいは両方ともである"が導かれる
3. 推論2と事実9から、仮説が否定される

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