そのダークエリアは下体でない
fact1: 「その職能レベルは粘り強くないしそれは逃げ延びるということはない」ということは偽だ fact2: 「この登録情報は油井でない」ということは確かだ fact3: 「もしもこの石垣技術が承継するとしたらこの登録情報は承継するけど全部改正だということはない」ということは確かだ fact4: もし「その職能レベルは粘り強くなくてそれにそれは逃げ延びるということはない」ということは間違っていれば「この石垣技術は承継する」ということは事実だ fact5: 話し辛くない物が油井だということはないとしたらこの口蓋切れは漸減する fact6: もしとある物が承継するがしかしそれは全部改正でないとしたら話し辛くない fact7: もしこの口蓋切れは漸減すれば「そのダークエリアは下体だ」ということは本当である
fact4 & fact1 -> int1: この石垣技術は承継する; int1 & fact3 -> int2: この登録情報は承継するけれど全部改正でない; fact6 -> int3: もし仮にこの登録情報は承継するが全部改正でないならばそれは話し辛くない; int2 & int3 -> int4: 「この登録情報は話し辛くない」ということは事実である; int4 & fact2 -> int5: この登録情報は話し辛くないし更にそれは油井でない; int5 -> int6: とある物は話し辛くないし油井でない; int6 & fact5 -> int7: 「この口蓋切れは漸減する」ということは正しい; int7 & fact7 -> hypothesis;
$facts$ = fact1: 「その職能レベルは粘り強くないしそれは逃げ延びるということはない」ということは偽だ fact2: 「この登録情報は油井でない」ということは確かだ fact3: 「もしもこの石垣技術が承継するとしたらこの登録情報は承継するけど全部改正だということはない」ということは確かだ fact4: もし「その職能レベルは粘り強くなくてそれにそれは逃げ延びるということはない」ということは間違っていれば「この石垣技術は承継する」ということは事実だ fact5: 話し辛くない物が油井だということはないとしたらこの口蓋切れは漸減する fact6: もしとある物が承継するがしかしそれは全部改正でないとしたら話し辛くない fact7: もしこの口蓋切れは漸減すれば「そのダークエリアは下体だ」ということは本当である ; $hypothesis$ = そのダークエリアは下体でない ; $proof$ = 
fact4 & fact1 -> int1: この石垣技術は承継する; int1 & fact3 -> int2: この登録情報は承継するけれど全部改正でない; fact6 -> int3: もし仮にこの登録情報は承継するが全部改正でないならばそれは話し辛くない; int2 & int3 -> int4: 「この登録情報は話し辛くない」ということは事実である; int4 & fact2 -> int5: この登録情報は話し辛くないし更にそれは油井でない; int5 -> int6: とある物は話し辛くないし油井でない; int6 & fact5 -> int7: 「この口蓋切れは漸減する」ということは正しい; int7 & fact7 -> hypothesis; __DISPROVED__
事実1: 「その職能レベルは粘り強くないしそれは逃げ延びるということはない」ということは偽だ
事実2: 「この登録情報は油井でない」ということは確かだ
事実3: 「もしもこの石垣技術が承継するとしたらこの登録情報は承継するけど全部改正だということはない」ということは確かだ
事実4: もし「その職能レベルは粘り強くなくてそれにそれは逃げ延びるということはない」ということは間違っていれば「この石垣技術は承継する」ということは事実だ
事実5: 話し辛くない物が油井だということはないとしたらこの口蓋切れは漸減する
事実6: もしとある物が承継するがしかしそれは全部改正でないとしたら話し辛くない
事実7: もしこの口蓋切れは漸減すれば「そのダークエリアは下体だ」ということは本当である

仮説: そのダークエリアは下体でない
1. 事実4と事実1から、推論1: "この石垣技術は承継する"が導かれる
2. 推論1と事実3から、推論2: "この登録情報は承継するけれど全部改正でない"が導かれる
3. 事実6から、推論3: "もし仮にこの登録情報は承継するが全部改正でないならばそれは話し辛くない"が導かれる
4. 推論2と推論3から、推論4: "「この登録情報は話し辛くない」ということは事実である"が導かれる
5. 推論4と事実2から、推論5: "この登録情報は話し辛くないし更にそれは油井でない"が導かれる
6. 推論5から、推論6: "とある物は話し辛くないし油井でない"が導かれる
7. 推論6と事実5から、推論7: "「この口蓋切れは漸減する」ということは正しい"が導かれる
8. 推論7と事実7から、仮説が否定される

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