この継続は滴下でない
fact1: このパートタイマーは寝静まる fact2: 何らかの物は甚振るし加えて寝静まるとすれば滴下でない fact3: もし仮に管理し易いということはないものが寝静まればそれは甚振らない fact4: 「この継続は聞き入れる」ということは嘘でない fact5: 「この継続は妬む」ということは成り立つ fact6: もしあのＪＳＰファイルは甚振るということはないなら「その発射レバーは妬まないしおまけに滴下でない」ということは間違いである fact7: もし仮にこの継続が妬めばそれは甚振る fact8: この継続は寝静まる fact9: この継続は滴下であるとすると見極め難い fact10: もし仮にある物が寝静まるなら説明し難い
fact7 & fact5 -> int1: この継続は甚振る; int1 & fact8 -> int2: この継続は甚振るし更に寝静まる; fact2 -> int3: もしこの継続が甚振るしさらにそれが寝静まるならそれは滴下でない; int2 & int3 -> hypothesis;
仮にこの継続が寝静まるとするとそれは説明し難い
fact11 -> hypothesis;
$facts$ = fact1: このパートタイマーは寝静まる fact2: 何らかの物は甚振るし加えて寝静まるとすれば滴下でない fact3: もし仮に管理し易いということはないものが寝静まればそれは甚振らない fact4: 「この継続は聞き入れる」ということは嘘でない fact5: 「この継続は妬む」ということは成り立つ fact6: もしあのＪＳＰファイルは甚振るということはないなら「その発射レバーは妬まないしおまけに滴下でない」ということは間違いである fact7: もし仮にこの継続が妬めばそれは甚振る fact8: この継続は寝静まる fact9: この継続は滴下であるとすると見極め難い fact10: もし仮にある物が寝静まるなら説明し難い ; $hypothesis$ = この継続は滴下でない ; $proof$ = 
fact7 & fact5 -> int1: この継続は甚振る; int1 & fact8 -> int2: この継続は甚振るし更に寝静まる; fact2 -> int3: もしこの継続が甚振るしさらにそれが寝静まるならそれは滴下でない; int2 & int3 -> hypothesis; __PROVED__
事実1: このパートタイマーは寝静まる
事実2: 何らかの物は甚振るし加えて寝静まるとすれば滴下でない
事実3: もし仮に管理し易いということはないものが寝静まればそれは甚振らない
事実4: 「この継続は聞き入れる」ということは嘘でない
事実5: 「この継続は妬む」ということは成り立つ
事実6: もしあのＪＳＰファイルは甚振るということはないなら「その発射レバーは妬まないしおまけに滴下でない」ということは間違いである
事実7: もし仮にこの継続が妬めばそれは甚振る
事実8: この継続は寝静まる
事実9: この継続は滴下であるとすると見極め難い
事実10: もし仮にある物が寝静まるなら説明し難い

仮説: この継続は滴下でない
1. 事実7と事実5から、推論1: "この継続は甚振る"が導かれる
2. 推論1と事実8から、推論2: "この継続は甚振るし更に寝静まる"が導かれる
3. 事実2から、推論3: "もしこの継続が甚振るしさらにそれが寝静まるならそれは滴下でない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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