その三分の理は推敲するしまた近しい
fact1: 黄竜真人は近しい fact2: その三分の理は黄竜真人であるし覚束無い fact3: もしも何らかのものが冷や冷やしなくて更に総回転数でないとしたら推敲する fact4: 何もかもは冷や冷やしなくて更に総回転数でない
fact3 -> int1: 仮にその三分の理は冷や冷やしなくて総回転数でないとすれば「それは推敲する」ということは本当である; fact4 -> int2: その三分の理は冷や冷やしなくてその上総回転数であるということはない; int1 & int2 -> int3: その三分の理は推敲する; fact2 -> int4: 「その三分の理は黄竜真人である」ということは成り立つ; fact1 -> int5: もし仮にその三分の理は黄竜真人であるなら近しい; int4 & int5 -> int6: その三分の理は近しい; int3 & int6 -> hypothesis;
$facts$ = fact1: 黄竜真人は近しい fact2: その三分の理は黄竜真人であるし覚束無い fact3: もしも何らかのものが冷や冷やしなくて更に総回転数でないとしたら推敲する fact4: 何もかもは冷や冷やしなくて更に総回転数でない ; $hypothesis$ = その三分の理は推敲するしまた近しい ; $proof$ = 
fact3 -> int1: 仮にその三分の理は冷や冷やしなくて総回転数でないとすれば「それは推敲する」ということは本当である; fact4 -> int2: その三分の理は冷や冷やしなくてその上総回転数であるということはない; int1 & int2 -> int3: その三分の理は推敲する; fact2 -> int4: 「その三分の理は黄竜真人である」ということは成り立つ; fact1 -> int5: もし仮にその三分の理は黄竜真人であるなら近しい; int4 & int5 -> int6: その三分の理は近しい; int3 & int6 -> hypothesis; __PROVED__
事実1: 黄竜真人は近しい
事実2: その三分の理は黄竜真人であるし覚束無い
事実3: もしも何らかのものが冷や冷やしなくて更に総回転数でないとしたら推敲する
事実4: 何もかもは冷や冷やしなくて更に総回転数でない

仮説: その三分の理は推敲するしまた近しい
1. 事実3から、推論1: "仮にその三分の理は冷や冷やしなくて総回転数でないとすれば「それは推敲する」ということは本当である"が導かれる
2. 事実4から、推論2: "その三分の理は冷や冷やしなくてその上総回転数であるということはない"が導かれる
3. 推論1と推論2から、推論3: "その三分の理は推敲する"が導かれる
4. 事実2から、推論4: "「その三分の理は黄竜真人である」ということは成り立つ"が導かれる
5. 事実1から、推論5: "もし仮にその三分の理は黄竜真人であるなら近しい"が導かれる
6. 推論4と推論5から、推論6: "その三分の理は近しい"が導かれる
7. 推論3と推論6から、仮説が導かれる

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