そのＣＨオンは飽きっぽい
fact1: もし仮に何かは魅入られるということはないなら伸び切るし更に西洋文化である fact2: もし仮にそのＣＨオンが伸び切るならあの強直発作は飽きっぽい fact3: そのＣＨオンは飽きっぽい fact4: もし仮にあの革製品は伸び切らないけれど西洋文化なら「そのＣＨオンは飽きっぽくない」ということは本当だ fact5: その人脈シートは飽きっぽい
fact3 -> hypothesis;
fact3 -> hypothesis;
そのＣＨオンは飽きっぽいということはない
$facts$ = fact1: もし仮に何かは魅入られるということはないなら伸び切るし更に西洋文化である fact2: もし仮にそのＣＨオンが伸び切るならあの強直発作は飽きっぽい fact3: そのＣＨオンは飽きっぽい fact4: もし仮にあの革製品は伸び切らないけれど西洋文化なら「そのＣＨオンは飽きっぽくない」ということは本当だ fact5: その人脈シートは飽きっぽい ; $hypothesis$ = そのＣＨオンは飽きっぽい ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: もし仮に何かは魅入られるということはないなら伸び切るし更に西洋文化である
事実2: もし仮にそのＣＨオンが伸び切るならあの強直発作は飽きっぽい
事実3: そのＣＨオンは飽きっぽい
事実4: もし仮にあの革製品は伸び切らないけれど西洋文化なら「そのＣＨオンは飽きっぽくない」ということは本当だ
事実5: その人脈シートは飽きっぽい

仮説: そのＣＨオンは飽きっぽい
1. 事実3から、仮説が導かれる

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