この睡眠不足は養育する
fact1: この先行きは馬耕だ fact2: もしもその主坑が張り詰めないし加えて受け取り手形でないとするとこの肝性昏睡は受け取り手形だ fact3: もしも「「日用でなくて聞き入れるということはない」ということは成り立たない」物があるならこの干し貝柱は恐ろしい fact4: もしその主坑が想像し易くないとするとそれは張り詰めないし加えてそれは受け取り手形であるということはない fact5: もしこの肝性昏睡は受け取り手形だとすれば「あのテレビ朝日系は日用でなくておまけにそれは聞き入れない」ということは成り立たない fact6: 仮にこの干し貝柱が恐ろしいならこの先行きは中庭だがしかし馬耕でない fact7: この先行きは馬耕でそれにそれは中庭だ fact8: もしあるものが推理すればそれはカジュアル化しないし想像し易くない fact9: そのリース費用は養育する fact10: もしもこの先行きが中庭だとするとこの睡眠不足は養育する
fact7 -> int1: この先行きは中庭だ; int1 & fact10 -> hypothesis;
この睡眠不足は養育するということはない
fact16 -> int2: この識別性が推理するとするとカジュアル化しなくてそれに想像し易くない;
$facts$ = fact1: この先行きは馬耕だ fact2: もしもその主坑が張り詰めないし加えて受け取り手形でないとするとこの肝性昏睡は受け取り手形だ fact3: もしも「「日用でなくて聞き入れるということはない」ということは成り立たない」物があるならこの干し貝柱は恐ろしい fact4: もしその主坑が想像し易くないとするとそれは張り詰めないし加えてそれは受け取り手形であるということはない fact5: もしこの肝性昏睡は受け取り手形だとすれば「あのテレビ朝日系は日用でなくておまけにそれは聞き入れない」ということは成り立たない fact6: 仮にこの干し貝柱が恐ろしいならこの先行きは中庭だがしかし馬耕でない fact7: この先行きは馬耕でそれにそれは中庭だ fact8: もしあるものが推理すればそれはカジュアル化しないし想像し易くない fact9: そのリース費用は養育する fact10: もしもこの先行きが中庭だとするとこの睡眠不足は養育する ; $hypothesis$ = この睡眠不足は養育する ; $proof$ = 
fact7 -> int1: この先行きは中庭だ; int1 & fact10 -> hypothesis; __PROVED__
事実1: この先行きは馬耕だ
事実2: もしもその主坑が張り詰めないし加えて受け取り手形でないとするとこの肝性昏睡は受け取り手形だ
事実3: もしも「「日用でなくて聞き入れるということはない」ということは成り立たない」物があるならこの干し貝柱は恐ろしい
事実4: もしその主坑が想像し易くないとするとそれは張り詰めないし加えてそれは受け取り手形であるということはない
事実5: もしこの肝性昏睡は受け取り手形だとすれば「あのテレビ朝日系は日用でなくておまけにそれは聞き入れない」ということは成り立たない
事実6: 仮にこの干し貝柱が恐ろしいならこの先行きは中庭だがしかし馬耕でない
事実7: この先行きは馬耕でそれにそれは中庭だ
事実8: もしあるものが推理すればそれはカジュアル化しないし想像し易くない
事実9: そのリース費用は養育する
事実10: もしもこの先行きが中庭だとするとこの睡眠不足は養育する

仮説: この睡眠不足は養育する
1. 事実7から、推論1: "この先行きは中庭だ"が導かれる
2. 推論1と事実10から、仮説が導かれる

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