あのインディゴはトラッキングであるしかつ荒っぽい
fact1: この観点毎は消化吸収され易い fact2: もし何らかの物は訓戒であるならばそれは走り過ぎる fact3: もしもとある物が先物食い潰しであるということはないとすればそれは這い込まなくてまたそれはプレゼンする fact4: この雨降りは再録するし荒っぽい fact5: もし何らかの物が這い込むということはないけれどそれがプレゼンすればそれは訓戒だ fact6: あのインディゴは荒っぽい fact7: 仮にこの観点毎が消化吸収され易いならばこの体動はトラッキングである fact8: あのインディゴはトラッキングだ fact9: もしあのインディゴが走り過ぎるとすればあの体動は走り過ぎる
fact8 & fact6 -> hypothesis;
fact8 & fact6 -> hypothesis;
この体動は荒っぽいしまた走り過ぎる
fact14 & fact11 -> int1: この体動はトラッキングである; fact13 -> int2: もしもあのインディゴは訓戒であるとすれば走り過ぎる; fact15 -> int3: もし仮にあのインディゴは這い込まないがしかしプレゼンするとするとそれは訓戒である; fact10 -> int4: あのインディゴが先物食い潰しでないとすればそれは這い込まないけれどプレゼンする;
$facts$ = fact1: この観点毎は消化吸収され易い fact2: もし何らかの物は訓戒であるならばそれは走り過ぎる fact3: もしもとある物が先物食い潰しであるということはないとすればそれは這い込まなくてまたそれはプレゼンする fact4: この雨降りは再録するし荒っぽい fact5: もし何らかの物が這い込むということはないけれどそれがプレゼンすればそれは訓戒だ fact6: あのインディゴは荒っぽい fact7: 仮にこの観点毎が消化吸収され易いならばこの体動はトラッキングである fact8: あのインディゴはトラッキングだ fact9: もしあのインディゴが走り過ぎるとすればあの体動は走り過ぎる ; $hypothesis$ = あのインディゴはトラッキングであるしかつ荒っぽい ; $proof$ = 
fact8 & fact6 -> hypothesis; __PROVED__
事実1: この観点毎は消化吸収され易い
事実2: もし何らかの物は訓戒であるならばそれは走り過ぎる
事実3: もしもとある物が先物食い潰しであるということはないとすればそれは這い込まなくてまたそれはプレゼンする
事実4: この雨降りは再録するし荒っぽい
事実5: もし何らかの物が這い込むということはないけれどそれがプレゼンすればそれは訓戒だ
事実6: あのインディゴは荒っぽい
事実7: 仮にこの観点毎が消化吸収され易いならばこの体動はトラッキングである
事実8: あのインディゴはトラッキングだ
事実9: もしあのインディゴが走り過ぎるとすればあの体動は走り過ぎる

仮説: あのインディゴはトラッキングであるしかつ荒っぽい
1. 事実8と事実6から、仮説が導かれる

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