この熟しは白っぽい
fact1: もしもその染料が疲れ難いならこの熟しは白っぽい fact2: その転送ウィザードは近しくない一方で急死する fact3: もしもその染料が恐れ多いとしたらこの熟しは白っぽい fact4: 近しい物は小さ過ぎるがしかし白っぽくない fact5: その転送ウィザードは急死する fact6: その染料は近しくない fact7: その転送ウィザードは疲れ難い fact8: もし「その転送ウィザードは小さ過ぎるということはない」ということは確かだとしたらその染料は疲れ難いかもしくは恐れ多いかあるいは両方ともである fact9: 「その転送ウィザードは小さ過ぎる」ということは成り立つならそれは近しい
void -> assump1: 以下のように仮定する。その転送ウィザードは小さ過ぎる; fact9 & assump1 -> int1: その転送ウィザードは近しい; fact2 -> int2: その転送ウィザードは近しくない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その転送ウィザードは小さ過ぎない; int4 & fact8 -> int5: その染料は疲れ難いかもしくは恐れ多い; int5 & fact1 & fact3 -> hypothesis;
この熟しは白っぽくない
fact10 -> int6: もしもこの熟しが近しいならば小さ過ぎるがしかし白っぽくない;
$facts$ = fact1: もしもその染料が疲れ難いならこの熟しは白っぽい fact2: その転送ウィザードは近しくない一方で急死する fact3: もしもその染料が恐れ多いとしたらこの熟しは白っぽい fact4: 近しい物は小さ過ぎるがしかし白っぽくない fact5: その転送ウィザードは急死する fact6: その染料は近しくない fact7: その転送ウィザードは疲れ難い fact8: もし「その転送ウィザードは小さ過ぎるということはない」ということは確かだとしたらその染料は疲れ難いかもしくは恐れ多いかあるいは両方ともである fact9: 「その転送ウィザードは小さ過ぎる」ということは成り立つならそれは近しい ; $hypothesis$ = この熟しは白っぽい ; $proof$ = 
void -> assump1: 以下のように仮定する。その転送ウィザードは小さ過ぎる; fact9 & assump1 -> int1: その転送ウィザードは近しい; fact2 -> int2: その転送ウィザードは近しくない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その転送ウィザードは小さ過ぎない; int4 & fact8 -> int5: その染料は疲れ難いかもしくは恐れ多い; int5 & fact1 & fact3 -> hypothesis; __PROVED__
事実1: もしもその染料が疲れ難いならこの熟しは白っぽい
事実2: その転送ウィザードは近しくない一方で急死する
事実3: もしもその染料が恐れ多いとしたらこの熟しは白っぽい
事実4: 近しい物は小さ過ぎるがしかし白っぽくない
事実5: その転送ウィザードは急死する
事実6: その染料は近しくない
事実7: その転送ウィザードは疲れ難い
事実8: もし「その転送ウィザードは小さ過ぎるということはない」ということは確かだとしたらその染料は疲れ難いかもしくは恐れ多いかあるいは両方ともである
事実9: 「その転送ウィザードは小さ過ぎる」ということは成り立つならそれは近しい

仮説: この熟しは白っぽい
1. 仮定1: 以下のように仮定する。その転送ウィザードは小さ過ぎる
2. 事実9と仮定1から、推論1: "その転送ウィザードは近しい"が導かれる
3. 事実2から、推論2: "その転送ウィザードは近しくない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その転送ウィザードは小さ過ぎない"が導かれる
6. 推論4と事実8から、推論5: "その染料は疲れ難いかもしくは恐れ多い"が導かれる
7. 推論5と事実1と事実3から、仮説が導かれる

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