あの新報は疾し
fact1: あの新報は観血処置だ fact2: もし仮にその使用状況は観血処置であるなら疾し fact3: あの蹲踞は山深くて加えてコントロールし易い fact4: もし仮にその使用状況がコントロールし易いとするとあの新報は疾し fact5: その切り身は観血処置だ fact6: その使用状況はおっそろし fact7: もしもなんらかのものが畏むとしたらコントロールし易い fact8: その使用状況は東国社会である fact9: 「その使用状況は歯類である」ということは確かだ fact10: その使用状況は観血処置である fact11: あの新報は一煮するしさらに観血処置である fact12: なんらかのものが疾しとしたら観血処置だ fact13: その使用状況は観血処置であるしさらにそれは畏む fact14: あの新報がソフロリミナルだとしたら疾し fact15: あの新報は主張し続ける fact16: 仮に何かはコントロールし易いとすると疾し
fact13 -> int1: その使用状況は畏む; fact7 -> int2: もしもその使用状況が畏むならコントロールし易い; int1 & int2 -> int3: その使用状況はコントロールし易い; int3 & fact4 -> hypothesis;
fact13 -> int1: {B}{a}; fact7 -> int2: {B}{a} -> {C}{a}; int1 & int2 -> int3: {C}{a}; int3 & fact4 -> hypothesis;
$facts$ = fact1: あの新報は観血処置だ fact2: もし仮にその使用状況は観血処置であるなら疾し fact3: あの蹲踞は山深くて加えてコントロールし易い fact4: もし仮にその使用状況がコントロールし易いとするとあの新報は疾し fact5: その切り身は観血処置だ fact6: その使用状況はおっそろし fact7: もしもなんらかのものが畏むとしたらコントロールし易い fact8: その使用状況は東国社会である fact9: 「その使用状況は歯類である」ということは確かだ fact10: その使用状況は観血処置である fact11: あの新報は一煮するしさらに観血処置である fact12: なんらかのものが疾しとしたら観血処置だ fact13: その使用状況は観血処置であるしさらにそれは畏む fact14: あの新報がソフロリミナルだとしたら疾し fact15: あの新報は主張し続ける fact16: 仮に何かはコントロールし易いとすると疾し ; $hypothesis$ = あの新報は疾し ; $proof$ = 
fact13 -> int1: その使用状況は畏む; fact7 -> int2: もしもその使用状況が畏むならコントロールし易い; int1 & int2 -> int3: その使用状況はコントロールし易い; int3 & fact4 -> hypothesis; __PROVED__
事実1: あの新報は観血処置だ
事実2: もし仮にその使用状況は観血処置であるなら疾し
事実3: あの蹲踞は山深くて加えてコントロールし易い
事実4: もし仮にその使用状況がコントロールし易いとするとあの新報は疾し
事実5: その切り身は観血処置だ
事実6: その使用状況はおっそろし
事実7: もしもなんらかのものが畏むとしたらコントロールし易い
事実8: その使用状況は東国社会である
事実9: 「その使用状況は歯類である」ということは確かだ
事実10: その使用状況は観血処置である
事実11: あの新報は一煮するしさらに観血処置である
事実12: なんらかのものが疾しとしたら観血処置だ
事実13: その使用状況は観血処置であるしさらにそれは畏む
事実14: あの新報がソフロリミナルだとしたら疾し
事実15: あの新報は主張し続ける
事実16: 仮に何かはコントロールし易いとすると疾し

仮説: あの新報は疾し
1. 事実13から、推論1: "その使用状況は畏む"が導かれる
2. 事実7から、推論2: "もしもその使用状況が畏むならコントロールし易い"が導かれる
3. 推論1と推論2から、推論3: "その使用状況はコントロールし易い"が導かれる
4. 推論3と事実4から、仮説が導かれる

よって、仮説が証明されました。