その家族全体は問題視しない
fact1: もしもこの輝緑凝灰岩製はコーナー連結するとすると「それは取り結ぶ」ということは事実である fact2: あのＲアンドは吸い寄せる fact3: あのＲアンドが吸い寄せるとしたらこの輝緑凝灰岩製はコーナー連結する fact4: この輝緑凝灰岩製は転移しない fact5: 「あの競技スポーツは多国間である」ということは確かだ fact6: もしも多国間が取り結ぶとするとその家族全体は問題視する fact7: この貯蔵庫は転移しない fact8: その早見表は吸い寄せる fact9: もしこの輝緑凝灰岩製が転移しないとすれば多国間であるし親子分離だ
fact3 & fact2 -> int1: この輝緑凝灰岩製はコーナー連結する; int1 & fact1 -> int2: この輝緑凝灰岩製は取り結ぶ; fact4 & fact9 -> int3: この輝緑凝灰岩製は多国間だし更に親子分離である; int3 -> int4: この輝緑凝灰岩製は多国間だ; int2 & int4 -> int5: この輝緑凝灰岩製は多国間であるし取り結ぶ; int5 -> int6: 「多国間だしまた取り結ぶ」ものはある; int6 & fact6 -> hypothesis;
$facts$ = fact1: もしもこの輝緑凝灰岩製はコーナー連結するとすると「それは取り結ぶ」ということは事実である fact2: あのＲアンドは吸い寄せる fact3: あのＲアンドが吸い寄せるとしたらこの輝緑凝灰岩製はコーナー連結する fact4: この輝緑凝灰岩製は転移しない fact5: 「あの競技スポーツは多国間である」ということは確かだ fact6: もしも多国間が取り結ぶとするとその家族全体は問題視する fact7: この貯蔵庫は転移しない fact8: その早見表は吸い寄せる fact9: もしこの輝緑凝灰岩製が転移しないとすれば多国間であるし親子分離だ ; $hypothesis$ = その家族全体は問題視しない ; $proof$ = 
fact3 & fact2 -> int1: この輝緑凝灰岩製はコーナー連結する; int1 & fact1 -> int2: この輝緑凝灰岩製は取り結ぶ; fact4 & fact9 -> int3: この輝緑凝灰岩製は多国間だし更に親子分離である; int3 -> int4: この輝緑凝灰岩製は多国間だ; int2 & int4 -> int5: この輝緑凝灰岩製は多国間であるし取り結ぶ; int5 -> int6: 「多国間だしまた取り結ぶ」ものはある; int6 & fact6 -> hypothesis; __DISPROVED__
事実1: もしもこの輝緑凝灰岩製はコーナー連結するとすると「それは取り結ぶ」ということは事実である
事実2: あのＲアンドは吸い寄せる
事実3: あのＲアンドが吸い寄せるとしたらこの輝緑凝灰岩製はコーナー連結する
事実4: この輝緑凝灰岩製は転移しない
事実5: 「あの競技スポーツは多国間である」ということは確かだ
事実6: もしも多国間が取り結ぶとするとその家族全体は問題視する
事実7: この貯蔵庫は転移しない
事実8: その早見表は吸い寄せる
事実9: もしこの輝緑凝灰岩製が転移しないとすれば多国間であるし親子分離だ

仮説: その家族全体は問題視しない
1. 事実3と事実2から、推論1: "この輝緑凝灰岩製はコーナー連結する"が導かれる
2. 推論1と事実1から、推論2: "この輝緑凝灰岩製は取り結ぶ"が導かれる
3. 事実4と事実9から、推論3: "この輝緑凝灰岩製は多国間だし更に親子分離である"が導かれる
4. 推論3から、推論4: "この輝緑凝灰岩製は多国間だ"が導かれる
5. 推論2と推論4から、推論5: "この輝緑凝灰岩製は多国間であるし取り結ぶ"が導かれる
6. 推論5から、推論6: "「多国間だしまた取り結ぶ」ものはある"が導かれる
7. 推論6と事実6から、仮説が否定される

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