「この承継日は一撃するし間違い無い」ということは誤りである
fact1: この承継日は逃散する fact2: あの迷路は逃散する fact3: 甲高いし間違い無いという物はない fact4: もしこの育児休業法は間違い無くないがしかし当会社であるとしたら卑しい fact5: このバレリーナ達は逃散する fact6: もしもなんらかのものは居辛くないなら「それは一撃するしかつ間違い無い」ということは事実と異なる fact7: この承継日は屋敷跡でない一方で差し伸ばす fact8: この承継日は皮膚疾患だ fact9: この承継日は緩和すということはない fact10: もしも何らかのものが緩和すということはないがしかし逃散するとすればそれは一撃する fact11: 仮に「何かは渡し場であるが収斂しない」ということは本当でないとすればそれは収斂する fact12: このＫＭは仲睦まじいし開き易い fact13: 「この承継日は甲高いし加えて間違い無い」ということは事実と異なる fact14: 「その価値評価は逃散する」ということは間違っていない fact15: 甲高いししかも間違い無くないという物はない fact16: もしもそのアルカリ性食品が北東部でないけれど欲しいとしたら「間違い無い」ということは事実である fact17: もし仮に「とある物は甲高いけれど間違い無くない」ということは間違っているならそれは間違い無い fact18: 「この承継日は凍て付くがしかし引き抜けない」ということは誤っている fact19: 「この承継日は起き易いけれど緩和すらない」ということは偽だとするとそれは緩和す fact20: この承継日が帰り来るしその上通り易い
fact10 -> int1: もし仮にこの承継日が緩和すらないが逃散すればそれは一撃する; fact9 & fact1 -> int2: この承継日は緩和すらないけれど逃散する; int1 & int2 -> int3: 「この承継日は一撃する」ということは成り立つ; fact15 -> int4: 「この承継日は甲高いけど間違い無くない」ということは間違いである; fact17 -> int5: もし仮に「この承継日は甲高いが間違い無くない」ということは成り立たないなら間違い無い; int4 & int5 -> int6: この承継日は間違い無い; int3 & int6 -> hypothesis;
「この承継日は一撃するししかも間違い無い」ということは誤りである
fact21 -> int7: もしこの承継日は居辛くないとすると「それは一撃するし間違い無い」ということは成り立たない;
$facts$ = fact1: この承継日は逃散する fact2: あの迷路は逃散する fact3: 甲高いし間違い無いという物はない fact4: もしこの育児休業法は間違い無くないがしかし当会社であるとしたら卑しい fact5: このバレリーナ達は逃散する fact6: もしもなんらかのものは居辛くないなら「それは一撃するしかつ間違い無い」ということは事実と異なる fact7: この承継日は屋敷跡でない一方で差し伸ばす fact8: この承継日は皮膚疾患だ fact9: この承継日は緩和すということはない fact10: もしも何らかのものが緩和すということはないがしかし逃散するとすればそれは一撃する fact11: 仮に「何かは渡し場であるが収斂しない」ということは本当でないとすればそれは収斂する fact12: このＫＭは仲睦まじいし開き易い fact13: 「この承継日は甲高いし加えて間違い無い」ということは事実と異なる fact14: 「その価値評価は逃散する」ということは間違っていない fact15: 甲高いししかも間違い無くないという物はない fact16: もしもそのアルカリ性食品が北東部でないけれど欲しいとしたら「間違い無い」ということは事実である fact17: もし仮に「とある物は甲高いけれど間違い無くない」ということは間違っているならそれは間違い無い fact18: 「この承継日は凍て付くがしかし引き抜けない」ということは誤っている fact19: 「この承継日は起き易いけれど緩和すらない」ということは偽だとするとそれは緩和す fact20: この承継日が帰り来るしその上通り易い ; $hypothesis$ = 「この承継日は一撃するし間違い無い」ということは誤りである ; $proof$ = 
fact10 -> int1: もし仮にこの承継日が緩和すらないが逃散すればそれは一撃する; fact9 & fact1 -> int2: この承継日は緩和すらないけれど逃散する; int1 & int2 -> int3: 「この承継日は一撃する」ということは成り立つ; fact15 -> int4: 「この承継日は甲高いけど間違い無くない」ということは間違いである; fact17 -> 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: この承継日が帰り来るしその上通り易い

仮説: 「この承継日は一撃するし間違い無い」ということは誤りである
1. 事実10から、推論1: "もし仮にこの承継日が緩和すらないが逃散すればそれは一撃する"が導かれる
2. 事実9と事実1から、推論2: "この承継日は緩和すらないけれど逃散する"が導かれる
3. 推論1と推論2から、推論3: "「この承継日は一撃する」ということは成り立つ"が導かれる
4. 事実15から、推論4: "「この承継日は甲高いけど間違い無くない」ということは間違いである"が導かれる
5. 事実17から、推論5: "もし仮に「この承継日は甲高いが間違い無くない」ということは成り立たないなら間違い無い"が導かれる
6. 推論4と推論5から、推論6: "この承継日は間違い無い"が導かれる
7. 推論3と推論6から、仮説が否定される

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