あの四例は弾き易くないけど円滑化する
fact1: この血管外は回し過ぎない fact2: ふてぶてしい物は込み合うということはないかもしくは通院中でないかあるいは両方ともだ fact3: もし何かはＢＭＩでないとしたら「弾き易いということはないがしかし円滑化する」ということは成り立たない fact4: どれもこれもは鬱陶しかないしそれは血腫だ fact5: 「どれもこれもは弾き易くないしかつ円滑化する」ということは確かである fact6: 全ては御分かり頂けないし更にそれは濃い fact7: あの四例は円滑化する fact8: 邪魔臭い物はふてぶてしい fact9: もしとあるものはＢＭＩでないとすると弾き易くてさらに円滑化する fact10: すべては生命系技術でないしまた秦王だ fact11: あの四例はすりゃ良くないが読み終わる fact12: その解答は流れ易くない一方で刺殺する fact13: どれもこれもは円滑化する fact14: 「全てはギガ炉でなくてぬかずく」ということは正しい fact15: あの四例は失速するということはないがしかし甘んじる fact16: 何もかもは回し過ぎないけれど特製する fact17: どれもこれもは通院中でないが滑り込む fact18: もしもなんらかの物が込み合わないとしたらそれはＢＭＩでないしそれにそれは感染病巣でない fact19: 仮にこの血管外が込み合わないとしたらあの四例は込み合わない fact20: もし仮にこの血管外が回し過ぎないなら邪魔臭いし加えて利用し辛い
fact5 -> hypothesis;
fact5 -> hypothesis;
「あの四例は弾き易くない一方で円滑化する」ということは成り立たない
fact25 -> int1: あの四例はＢＭＩであるということはないなら「それは弾き易くないけど円滑化する」ということは間違いだ; fact21 -> int2: もしもあの四例が込み合わないとすればそれはＢＭＩでないしさらに感染病巣でない; fact22 -> int3: もし仮にこの血管外がふてぶてしいならそれは込み合わないか通院中でない; fact24 -> int4: 仮にこの血管外が邪魔臭いならそれはふてぶてしい; fact27 & fact23 -> int5: この血管外は邪魔臭くてそれに利用し辛い; int5 -> int6: この血管外は邪魔臭い; int4 & int6 -> int7: この血管外はふてぶてしい; int3 & int7 -> int8: 「この血管外は込み合わないかまたはそれは通院中でないかまたは両方だ」ということは成り立つ;
$facts$ = fact1: この血管外は回し過ぎない fact2: ふてぶてしい物は込み合うということはないかもしくは通院中でないかあるいは両方ともだ fact3: もし何かはＢＭＩでないとしたら「弾き易いということはないがしかし円滑化する」ということは成り立たない fact4: どれもこれもは鬱陶しかないしそれは血腫だ fact5: 「どれもこれもは弾き易くないしかつ円滑化する」ということは確かである fact6: 全ては御分かり頂けないし更にそれは濃い fact7: あの四例は円滑化する fact8: 邪魔臭い物はふてぶてしい fact9: もしとあるものはＢＭＩでないとすると弾き易くてさらに円滑化する fact10: すべては生命系技術でないしまた秦王だ fact11: あの四例はすりゃ良くないが読み終わる fact12: その解答は流れ易くない一方で刺殺する fact13: どれもこれもは円滑化する fact14: 「全てはギガ炉でなくてぬかずく」ということは正しい fact15: あの四例は失速するということはないがしかし甘んじる fact16: 何もかもは回し過ぎないけれど特製する fact17: どれもこれもは通院中でないが滑り込む fact18: もしもなんらかの物が込み合わないとしたらそれはＢＭＩでないしそれにそれは感染病巣でない fact19: 仮にこの血管外が込み合わないとしたらあの四例は込み合わない fact20: もし仮にこの血管外が回し過ぎないなら邪魔臭いし加えて利用し辛い ; $hypothesis$ = あの四例は弾き易くないけど円滑化する ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: この血管外は回し過ぎない
事実2: ふてぶてしい物は込み合うということはないかもしくは通院中でないかあるいは両方ともだ
事実3: もし何かはＢＭＩでないとしたら「弾き易いということはないがしかし円滑化する」ということは成り立たない
事実4: どれもこれもは鬱陶しかないしそれは血腫だ
事実5: 「どれもこれもは弾き易くないしかつ円滑化する」ということは確かである
事実6: 全ては御分かり頂けないし更にそれは濃い
事実7: あの四例は円滑化する
事実8: 邪魔臭い物はふてぶてしい
事実9: もしとあるものはＢＭＩでないとすると弾き易くてさらに円滑化する
事実10: すべては生命系技術でないしまた秦王だ
事実11: あの四例はすりゃ良くないが読み終わる
事実12: その解答は流れ易くない一方で刺殺する
事実13: どれもこれもは円滑化する
事実14: 「全てはギガ炉でなくてぬかずく」ということは正しい
事実15: あの四例は失速するということはないがしかし甘んじる
事実16: 何もかもは回し過ぎないけれど特製する
事実17: どれもこれもは通院中でないが滑り込む
事実18: もしもなんらかの物が込み合わないとしたらそれはＢＭＩでないしそれにそれは感染病巣でない
事実19: 仮にこの血管外が込み合わないとしたらあの四例は込み合わない
事実20: もし仮にこの血管外が回し過ぎないなら邪魔臭いし加えて利用し辛い

仮説: あの四例は弾き易くないけど円滑化する
1. 事実5から、仮説が導かれる

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