「その青大将は用心深くて加えて襲い来る」ということは成り立つ
fact1: 「用心深い」ものがあるならその青大将が襲い来るしその上それは活動し難い fact2: 仮に「その薬包は治療前でかつ調停制度である」ということは真実でないならばあの素焼き板は治療前でない fact3: あの賃金額は接近し易い fact4: 「映ずる」物はある fact5: もしもとあるものが用心深いならばあの賃金額は襲い来るし活動し難い fact6: もしも「用心深い」物があるとするとその青大将は襲い来る fact7: ある物が突破出来るとしたら寝込まないが営業譲渡等する fact8: 「第一四分位数である」ものはある fact9: その薬包は慈悲深いということはない fact10: 「活動し難い」物があればその青大将は用心深くて襲い来る fact11: その青大将は結婚するしさらに償却可能限度額だ fact12: 仮に「襲い来る」ものがあるならばあの青大将は用心深くて更に活動し難い fact13: もし「襲い来る」物があるならその青大将は用心深い fact14: もし仮にその薬包は慈悲深くないならば「治療前であるしそれは調停制度だ」ということは成り立たない fact15: あの賃金額は清し fact16: もし「第六水雷戦隊な」ものがあるとしたらその青大将は眠い fact17: なんらかの物が三代記だとすればあの賃金額は冷め易い fact18: この素焼き板が治療前でないとするとあの山林経済は第三世界でおまけに突破出来る fact19: 「あの賃金額は活動し難い」ということは正しい fact20: もし「襲い来る」物があるならあの賃金額は活動し難くて用心深い fact21: もしもなにかは活動し難くないなら「用心深いしおまけに襲い来る」ということは成り立たない fact22: あの業務規程は使い難い
fact19 -> int1: 「活動し難い」ものはある; int1 & fact10 -> hypothesis;
fact19 -> int1: (Ex): {A}x; int1 & fact10 -> hypothesis;
「その青大将は用心深いししかもそれは襲い来る」ということは事実でない
fact25 -> int2: もし「その青大将は活動し難くない」ということは真実であるならば「それは用心深いしおまけに襲い来る」ということは成り立たない; fact28 -> int3: もし仮にあの山林経済が突破出来るとしたらそれが寝込むということはないしさらにそれは営業譲渡等する; fact24 & fact26 -> int4: 「その薬包は治療前であるしそれにそれは調停制度である」ということは本当であるということはない; fact27 & int4 -> int5: この素焼き板は治療前でない; fact23 & int5 -> int6: あの山林経済は第三世界であるし突破出来る; int6 -> int7: あの山林経済は突破出来る; int3 & int7 -> int8: あの山林経済は寝込まないが営業譲渡等する; int8 -> int9: あの山林経済は寝込まない; int9 -> int10: 「寝込まない」ものはある;
$facts$ = fact1: 「用心深い」ものがあるならその青大将が襲い来るしその上それは活動し難い fact2: 仮に「その薬包は治療前でかつ調停制度である」ということは真実でないならばあの素焼き板は治療前でない fact3: あの賃金額は接近し易い fact4: 「映ずる」物はある fact5: もしもとあるものが用心深いならばあの賃金額は襲い来るし活動し難い fact6: もしも「用心深い」物があるとするとその青大将は襲い来る fact7: ある物が突破出来るとしたら寝込まないが営業譲渡等する fact8: 「第一四分位数である」ものはある fact9: その薬包は慈悲深いということはない fact10: 「活動し難い」物があればその青大将は用心深くて襲い来る fact11: その青大将は結婚するしさらに償却可能限度額だ fact12: 仮に「襲い来る」ものがあるならばあの青大将は用心深くて更に活動し難い fact13: もし「襲い来る」物があるならその青大将は用心深い fact14: もし仮にその薬包は慈悲深くないならば「治療前であるしそれは調停制度だ」ということは成り立たない fact15: あの賃金額は清し fact16: もし「第六水雷戦隊な」ものがあるとしたらその青大将は眠い fact17: なんらかの物が三代記だとすればあの賃金額は冷め易い fact18: この素焼き板が治療前でないとするとあの山林経済は第三世界でおまけに突破出来る fact19: 「あの賃金額は活動し難い」ということは正しい fact20: もし「襲い来る」物があるならあの賃金額は活動し難くて用心深い fact21: もしもなにかは活動し難くないなら「用心深いしおまけに襲い来る」ということは成り立たない fact22: あの業務規程は使い難い ; $hypothesis$ = 「その青大将は用心深くて加えて襲い来る」ということは成り立つ ; $proof$ = 
fact19 -> int1: 「活動し難い」ものはある; int1 & fact10 -> hypothesis; __PROVED__
事実1: 「用心深い」ものがあるならその青大将が襲い来るしその上それは活動し難い
事実2: 仮に「その薬包は治療前でかつ調停制度である」ということは真実でないならばあの素焼き板は治療前でない
事実3: あの賃金額は接近し易い
事実4: 「映ずる」物はある
事実5: もしもとあるものが用心深いならばあの賃金額は襲い来るし活動し難い
事実6: もしも「用心深い」物があるとするとその青大将は襲い来る
事実7: ある物が突破出来るとしたら寝込まないが営業譲渡等する
事実8: 「第一四分位数である」ものはある
事実9: その薬包は慈悲深いということはない
事実10: 「活動し難い」物があればその青大将は用心深くて襲い来る
事実11: その青大将は結婚するしさらに償却可能限度額だ
事実12: 仮に「襲い来る」ものがあるならばあの青大将は用心深くて更に活動し難い
事実13: もし「襲い来る」物があるならその青大将は用心深い
事実14: もし仮にその薬包は慈悲深くないならば「治療前であるしそれは調停制度だ」ということは成り立たない
事実15: あの賃金額は清し
事実16: もし「第六水雷戦隊な」ものがあるとしたらその青大将は眠い
事実17: なんらかの物が三代記だとすればあの賃金額は冷め易い
事実18: この素焼き板が治療前でないとするとあの山林経済は第三世界でおまけに突破出来る
事実19: 「あの賃金額は活動し難い」ということは正しい
事実20: もし「襲い来る」物があるならあの賃金額は活動し難くて用心深い
事実21: もしもなにかは活動し難くないなら「用心深いしおまけに襲い来る」ということは成り立たない
事実22: あの業務規程は使い難い

仮説: 「その青大将は用心深くて加えて襲い来る」ということは成り立つ
1. 事実19から、推論1: "「活動し難い」ものはある"が導かれる
2. 推論1と事実10から、仮説が導かれる

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