この下前端が深いとするとその事故時は乗り合わせる
fact1: もしその事故時が即効性であるとすればこの下前端は乗り合わせる fact2: 仮にこの下前端が即効性であるとしたらその事故時は深い fact3: その事故時は当て嵌まる fact4: その事故時は深い fact5: その事故時は多細胞化だ fact6: この下前端は即効性である fact7: もしも「この下前端は深い」ということは成り立つとしたらその事故時は即効性だ fact8: この歳出削減は乗り合わせる fact9: もしこの下前端が乗り合わせるとすると分解され難い fact10: ある物は即効性であるとしたら乗り合わせる fact11: もしこの下前端が遡れるなら乗り合わせる fact12: もし仮にこの下前端は即効性だとしたら「深い」ということは本当である fact13: この下前端は乗り合わせる fact14: 仮にこの下前端が乗り合わせるとすればその事故時は深い fact15: この下前端は黒毛和種だ
void -> assump1: 以下のように仮定する。「この下前端は深い」ということは確かだ; fact7 & assump1 -> int1: その事故時は即効性である; fact10 -> int2: もしその事故時は即効性であるならそれは乗り合わせる; int1 & int2 -> int3: 「その事故時は乗り合わせる」ということは成り立つ; [assump1] & int3 -> hypothesis;
$facts$ = fact1: もしその事故時が即効性であるとすればこの下前端は乗り合わせる fact2: 仮にこの下前端が即効性であるとしたらその事故時は深い fact3: その事故時は当て嵌まる fact4: その事故時は深い fact5: その事故時は多細胞化だ fact6: この下前端は即効性である fact7: もしも「この下前端は深い」ということは成り立つとしたらその事故時は即効性だ fact8: この歳出削減は乗り合わせる fact9: もしこの下前端が乗り合わせるとすると分解され難い fact10: ある物は即効性であるとしたら乗り合わせる fact11: もしこの下前端が遡れるなら乗り合わせる fact12: もし仮にこの下前端は即効性だとしたら「深い」ということは本当である fact13: この下前端は乗り合わせる fact14: 仮にこの下前端が乗り合わせるとすればその事故時は深い fact15: この下前端は黒毛和種だ ; $hypothesis$ = この下前端が深いとするとその事故時は乗り合わせる ; $proof$ = 
void -> assump1: 以下のように仮定する。「この下前端は深い」ということは確かだ; fact7 & assump1 -> int1: その事故時は即効性である; fact10 -> int2: もしその事故時は即効性であるならそれは乗り合わせる; int1 & int2 -> int3: 「その事故時は乗り合わせる」ということは成り立つ; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もしその事故時が即効性であるとすればこの下前端は乗り合わせる
事実2: 仮にこの下前端が即効性であるとしたらその事故時は深い
事実3: その事故時は当て嵌まる
事実4: その事故時は深い
事実5: その事故時は多細胞化だ
事実6: この下前端は即効性である
事実7: もしも「この下前端は深い」ということは成り立つとしたらその事故時は即効性だ
事実8: この歳出削減は乗り合わせる
事実9: もしこの下前端が乗り合わせるとすると分解され難い
事実10: ある物は即効性であるとしたら乗り合わせる
事実11: もしこの下前端が遡れるなら乗り合わせる
事実12: もし仮にこの下前端は即効性だとしたら「深い」ということは本当である
事実13: この下前端は乗り合わせる
事実14: 仮にこの下前端が乗り合わせるとすればその事故時は深い
事実15: この下前端は黒毛和種だ

仮説: この下前端が深いとするとその事故時は乗り合わせる
1. 仮定1: 以下のように仮定する。「この下前端は深い」ということは確かだ
2. 事実7と仮定1から、推論1: "その事故時は即効性である"が導かれる
3. 事実10から、推論2: "もしその事故時は即効性であるならそれは乗り合わせる"が導かれる
4. 推論1と推論2から、推論3: "「その事故時は乗り合わせる」ということは成り立つ"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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