「もしも動静脈酸素較差ならば「冷め難くない」ということは確かである」物はある
fact1: 「煮付ける」物はある fact2: 仮に名状し難いものが動静脈酸素較差だとするとそれは冷め難い fact3: 名状し難い物が動静脈酸素較差だとするとそれは冷め難くない fact4: とあるものは御理解頂くし煮付ける fact5: もしも「御理解頂くし煮付ける」ものがあるとすればあの支援等は名状し難い
fact4 & fact5 -> int1: この支援等は名状し難い; void -> assump1: 以下のように仮定する。この支援等は動静脈酸素較差である; int1 & assump1 -> int2: この支援等は名状し難いし動静脈酸素較差だ; fact3 -> int3: もし仮にこの支援等は名状し難いし動静脈酸素較差であるならば冷め難くない; int2 & int3 -> int4: この支援等は冷め難くない; [assump1] & int4 -> int5: もしこの支援等は動静脈酸素較差であるならそれは冷め難くない; int5 -> hypothesis;
$facts$ = fact1: 「煮付ける」物はある fact2: 仮に名状し難いものが動静脈酸素較差だとするとそれは冷め難い fact3: 名状し難い物が動静脈酸素較差だとするとそれは冷め難くない fact4: とあるものは御理解頂くし煮付ける fact5: もしも「御理解頂くし煮付ける」ものがあるとすればあの支援等は名状し難い ; $hypothesis$ = 「もしも動静脈酸素較差ならば「冷め難くない」ということは確かである」物はある ; $proof$ = 
fact4 & fact5 -> int1: この支援等は名状し難い; void -> assump1: 以下のように仮定する。この支援等は動静脈酸素較差である; int1 & assump1 -> int2: この支援等は名状し難いし動静脈酸素較差だ; fact3 -> int3: もし仮にこの支援等は名状し難いし動静脈酸素較差であるならば冷め難くない; int2 & int3 -> int4: この支援等は冷め難くない; [assump1] & int4 -> int5: もしこの支援等は動静脈酸素較差であるならそれは冷め難くない; int5 -> hypothesis; __PROVED__
事実1: 「煮付ける」物はある
事実2: 仮に名状し難いものが動静脈酸素較差だとするとそれは冷め難い
事実3: 名状し難い物が動静脈酸素較差だとするとそれは冷め難くない
事実4: とあるものは御理解頂くし煮付ける
事実5: もしも「御理解頂くし煮付ける」ものがあるとすればあの支援等は名状し難い

仮説: 「もしも動静脈酸素較差ならば「冷め難くない」ということは確かである」物はある
1. 事実4と事実5から、推論1: "この支援等は名状し難い"が導かれる
2. 仮定1: 以下のように仮定する。この支援等は動静脈酸素較差である
3. 推論1と仮定1から、推論2: "この支援等は名状し難いし動静脈酸素較差だ"が導かれる
4. 事実3から、推論3: "もし仮にこの支援等は名状し難いし動静脈酸素較差であるならば冷め難くない"が導かれる
5. 推論2と推論3から、推論4: "この支援等は冷め難くない"が導かれる
6. [仮定1]と推論4から、推論5: "もしこの支援等は動静脈酸素較差であるならそれは冷め難くない"が導かれる
7. 推論5から、仮説が導かれる

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