「もし仮に出所出来るとすると淘汰する」ものはある
fact1: 仮に「この器材は出所出来る」ということは正しいとしたら「それは粗い」ということは正しい fact2: この器材はださいなら「それは粗い」ということは本当である fact3: 監視し易いものは耐通である fact4: このカースティは段平である fact5: もし仮にとある物が粗いならばそれは淘汰する fact6: もしなにかは粗いということはないとするとそれは水溶化するし出所出来る fact7: この器材が羨ましいなら出所出来る fact8: あの別紙が言明するなら出所出来る fact9: この器材は第一報だ fact10: もしもこの器材が無理無いとすればそれは粗い fact11: 何かは回線状態であるとすればそれは近頃だ fact12: 「もし仮に言い伝えるとしたら成人する」物はある fact13: 「飲み難いなら辛い」ものはある
void -> assump1: 以下のように仮定する。この器材は出所出来る; fact1 & assump1 -> int1: この器材は粗い; fact5 -> int2: もし仮に「この器材は粗い」ということは真実だとすると「淘汰する」ということは成り立つ; int1 & int2 -> int3: この器材は淘汰する; [assump1] & int3 -> int4: この器材が出所出来るとすればそれは淘汰する; int4 -> hypothesis;
あの独自色は水溶化する
fact14 -> int5: もし仮に「あの独自色は粗くない」ということは本当だとするとそれは水溶化するし出所出来る;
$facts$ = fact1: 仮に「この器材は出所出来る」ということは正しいとしたら「それは粗い」ということは正しい fact2: この器材はださいなら「それは粗い」ということは本当である fact3: 監視し易いものは耐通である fact4: このカースティは段平である fact5: もし仮にとある物が粗いならばそれは淘汰する fact6: もしなにかは粗いということはないとするとそれは水溶化するし出所出来る fact7: この器材が羨ましいなら出所出来る fact8: あの別紙が言明するなら出所出来る fact9: この器材は第一報だ fact10: もしもこの器材が無理無いとすればそれは粗い fact11: 何かは回線状態であるとすればそれは近頃だ fact12: 「もし仮に言い伝えるとしたら成人する」物はある fact13: 「飲み難いなら辛い」ものはある ; $hypothesis$ = 「もし仮に出所出来るとすると淘汰する」ものはある ; $proof$ = 
void -> assump1: 以下のように仮定する。この器材は出所出来る; fact1 & assump1 -> int1: この器材は粗い; fact5 -> int2: もし仮に「この器材は粗い」ということは真実だとすると「淘汰する」ということは成り立つ; int1 & int2 -> int3: この器材は淘汰する; [assump1] & int3 -> int4: この器材が出所出来るとすればそれは淘汰する; int4 -> hypothesis; __PROVED__
事実1: 仮に「この器材は出所出来る」ということは正しいとしたら「それは粗い」ということは正しい
事実2: この器材はださいなら「それは粗い」ということは本当である
事実3: 監視し易いものは耐通である
事実4: このカースティは段平である
事実5: もし仮にとある物が粗いならばそれは淘汰する
事実6: もしなにかは粗いということはないとするとそれは水溶化するし出所出来る
事実7: この器材が羨ましいなら出所出来る
事実8: あの別紙が言明するなら出所出来る
事実9: この器材は第一報だ
事実10: もしもこの器材が無理無いとすればそれは粗い
事実11: 何かは回線状態であるとすればそれは近頃だ
事実12: 「もし仮に言い伝えるとしたら成人する」物はある
事実13: 「飲み難いなら辛い」ものはある

仮説: 「もし仮に出所出来るとすると淘汰する」ものはある
1. 仮定1: 以下のように仮定する。この器材は出所出来る
2. 事実1と仮定1から、推論1: "この器材は粗い"が導かれる
3. 事実5から、推論2: "もし仮に「この器材は粗い」ということは真実だとすると「淘汰する」ということは成り立つ"が導かれる
4. 推論1と推論2から、推論3: "この器材は淘汰する"が導かれる
5. [仮定1]と推論3から、推論4: "この器材が出所出来るとすればそれは淘汰する"が導かれる
6. 推論4から、仮説が導かれる

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