もし仮にあの完全皮下埋め込み式カテーテルが引っ捕らえるとすればあのプロスポーツは三高だ
fact1: あの完全皮下埋め込み式カテーテルは感じ難い fact2: もし仮にそのプロスポーツが引っ捕らえるならあの完全皮下埋め込み式カテーテルは割り広げる fact3: あの完全皮下埋め込み式カテーテルは三高だ fact4: もしあの完全皮下埋め込み式カテーテルが三高だとしたらそのプロスポーツは引っ捕らえる fact5: もし仮にあるものが割り広げるとすると三高である fact6: 「あの完全皮下埋め込み式カテーテルは重苦しい」ということは確かである fact7: 「そのプロスポーツは引っ捕らえる」ということは確かだ fact8: もしもあの完全皮下埋め込み式カテーテルが引っ捕らえるとするとそのプロスポーツは割り広げる fact9: あの強制終了は三高である fact10: もしそのプロスポーツが割り広げるとしたらあの完全皮下埋め込み式カテーテルは三高だ fact11: もし何かは割り広げるとしたら「それは引っ捕らえる」ということは成り立つ
void -> assump1: 以下のように仮定する。あの完全皮下埋め込み式カテーテルは引っ捕らえる; fact8 & assump1 -> int1: そのプロスポーツは割り広げる; fact5 -> int2: そのプロスポーツが割り広げるとすれば三高だ; int1 & int2 -> int3: そのプロスポーツは三高だ; [assump1] & int3 -> hypothesis;
あの完全皮下埋め込み式カテーテルは割り広げる
$facts$ = fact1: あの完全皮下埋め込み式カテーテルは感じ難い fact2: もし仮にそのプロスポーツが引っ捕らえるならあの完全皮下埋め込み式カテーテルは割り広げる fact3: あの完全皮下埋め込み式カテーテルは三高だ fact4: もしあの完全皮下埋め込み式カテーテルが三高だとしたらそのプロスポーツは引っ捕らえる fact5: もし仮にあるものが割り広げるとすると三高である fact6: 「あの完全皮下埋め込み式カテーテルは重苦しい」ということは確かである fact7: 「そのプロスポーツは引っ捕らえる」ということは確かだ fact8: もしもあの完全皮下埋め込み式カテーテルが引っ捕らえるとするとそのプロスポーツは割り広げる fact9: あの強制終了は三高である fact10: もしそのプロスポーツが割り広げるとしたらあの完全皮下埋め込み式カテーテルは三高だ fact11: もし何かは割り広げるとしたら「それは引っ捕らえる」ということは成り立つ ; $hypothesis$ = もし仮にあの完全皮下埋め込み式カテーテルが引っ捕らえるとすればあのプロスポーツは三高だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの完全皮下埋め込み式カテーテルは引っ捕らえる; fact8 & assump1 -> int1: そのプロスポーツは割り広げる; fact5 -> int2: そのプロスポーツが割り広げるとすれば三高だ; int1 & int2 -> int3: そのプロスポーツは三高だ; [assump1] & int3 -> hypothesis; __PROVED__
事実1: あの完全皮下埋め込み式カテーテルは感じ難い
事実2: もし仮にそのプロスポーツが引っ捕らえるならあの完全皮下埋め込み式カテーテルは割り広げる
事実3: あの完全皮下埋め込み式カテーテルは三高だ
事実4: もしあの完全皮下埋め込み式カテーテルが三高だとしたらそのプロスポーツは引っ捕らえる
事実5: もし仮にあるものが割り広げるとすると三高である
事実6: 「あの完全皮下埋め込み式カテーテルは重苦しい」ということは確かである
事実7: 「そのプロスポーツは引っ捕らえる」ということは確かだ
事実8: もしもあの完全皮下埋め込み式カテーテルが引っ捕らえるとするとそのプロスポーツは割り広げる
事実9: あの強制終了は三高である
事実10: もしそのプロスポーツが割り広げるとしたらあの完全皮下埋め込み式カテーテルは三高だ
事実11: もし何かは割り広げるとしたら「それは引っ捕らえる」ということは成り立つ

仮説: もし仮にあの完全皮下埋め込み式カテーテルが引っ捕らえるとすればあのプロスポーツは三高だ
1. 仮定1: 以下のように仮定する。あの完全皮下埋め込み式カテーテルは引っ捕らえる
2. 事実8と仮定1から、推論1: "そのプロスポーツは割り広げる"が導かれる
3. 事実5から、推論2: "そのプロスポーツが割り広げるとすれば三高だ"が導かれる
4. 推論1と推論2から、推論3: "そのプロスポーツは三高だ"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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