「あの恐れは見付け難くない」ということは確かである
fact1: 「この織田家帰参は推知するし安堵出来る」ということは誤っているなら安堵出来ない fact2: この新産業が償えるしまた生活するとするとあの恐れは見付け難くない fact3: あの最小線幅がしょっぱいとするとこの織田家帰参は人懐こい fact4: しょっぱくないしさらに人懐こい物は見付け難い fact5: もしこの安住が甘酸っぱいということはないしおまけに兼業でないとしたらこの新産業は生活する fact6: 「その医師は働き掛けない一方で眠らす」ということは成り立たない fact7: 仮にこの織田家帰参が人懐こいとすればあの制限酵素は兼業だ fact8: なにがしかのものは兼業でないならしょっぱくないがしかし人懐こい fact9: もしもあの最小線幅が兼業であるということはなくて加えてそれが生活するということはないとしたらあの恐れは兼業でない fact10: もしもなんらかのものが譲渡出来るが償えないとすればそれは生活しない fact11: 仮に「この織田家帰参は安堵出来ない」ということは本当であるとすればあの最小線幅は譲渡出来るけど償えない fact12: もし仮に「「働き掛けないしまた眠らす」ということは誤りである」物はあるなら「あの最小線幅はしょっぱくない」ということは真実でない fact13: この制限酵素が兼業であるとしたらこの安住が甘酸っぱくないしさらに兼業でない fact14: この新産業は償えるがしかしそれは譲渡出来ない
fact6 -> int1: 「「働き掛けないしおまけに眠らす」ということは誤っている」物はある; int1 & fact12 -> int2: あの最小線幅はしょっぱい; int2 & fact3 -> int3: この織田家帰参は人懐こい; int3 & fact7 -> int4: この制限酵素は兼業である; int4 & fact13 -> int5: この安住は甘酸っぱいということはないしおまけに兼業でない; int5 & fact5 -> int6: 「この新産業は生活する」ということは事実である; fact14 -> int7: この新産業は償える; int6 & int7 -> int8: この新産業は償えるし更に生活する; int8 & fact2 -> hypothesis;
あの恐れは見付け難い
fact16 -> int9: もしあの恐れはしょっぱくないがしかし人懐こいならばそれは見付け難い; fact20 -> int10: もし仮にあの恐れが兼業でないとすればしょっぱくないしおまけに人懐こい; fact15 -> int11: もし仮にあの最小線幅が譲渡出来るけど償えないとすれば「生活しない」ということは成り立つ;
$facts$ = fact1: 「この織田家帰参は推知するし安堵出来る」ということは誤っているなら安堵出来ない fact2: この新産業が償えるしまた生活するとするとあの恐れは見付け難くない fact3: あの最小線幅がしょっぱいとするとこの織田家帰参は人懐こい fact4: しょっぱくないしさらに人懐こい物は見付け難い fact5: もしこの安住が甘酸っぱいということはないしおまけに兼業でないとしたらこの新産業は生活する fact6: 「その医師は働き掛けない一方で眠らす」ということは成り立たない fact7: 仮にこの織田家帰参が人懐こいとすればあの制限酵素は兼業だ fact8: なにがしかのものは兼業でないならしょっぱくないがしかし人懐こい fact9: もしもあの最小線幅が兼業であるということはなくて加えてそれが生活するということはないとしたらあの恐れは兼業でない fact10: もしもなんらかのものが譲渡出来るが償えないとすればそれは生活しない fact11: 仮に「この織田家帰参は安堵出来ない」ということは本当であるとすればあの最小線幅は譲渡出来るけど償えない fact12: もし仮に「「働き掛けないしまた眠らす」ということは誤りである」物はあるなら「あの最小線幅はしょっぱくない」ということは真実でない fact13: この制限酵素が兼業であるとしたらこの安住が甘酸っぱくないしさらに兼業でない fact14: この新産業は償えるがしかしそれは譲渡出来ない ; $hypothesis$ = 「あの恐れは見付け難くない」ということは確かである ; $proof$ = 
fact6 -> int1: 「「働き掛けないしおまけに眠らす」ということは誤っている」物はある; int1 & fact12 -> int2: あの最小線幅はしょっぱい; int2 & fact3 -> int3: この織田家帰参は人懐こい; int3 & fact7 -> int4: この制限酵素は兼業である; int4 & fact13 -> int5: この安住は甘酸っぱいということはないしおまけに兼業でない; int5 & fact5 -> int6: 「この新産業は生活する」ということは事実である; fact14 -> int7: この新産業は償える; int6 & int7 -> int8: この新産業は償えるし更に生活する; int8 & fact2 -> hypothesis; __PROVED__
事実1: 「この織田家帰参は推知するし安堵出来る」ということは誤っているなら安堵出来ない
事実2: この新産業が償えるしまた生活するとするとあの恐れは見付け難くない
事実3: あの最小線幅がしょっぱいとするとこの織田家帰参は人懐こい
事実4: しょっぱくないしさらに人懐こい物は見付け難い
事実5: もしこの安住が甘酸っぱいということはないしおまけに兼業でないとしたらこの新産業は生活する
事実6: 「その医師は働き掛けない一方で眠らす」ということは成り立たない
事実7: 仮にこの織田家帰参が人懐こいとすればあの制限酵素は兼業だ
事実8: なにがしかのものは兼業でないならしょっぱくないがしかし人懐こい
事実9: もしもあの最小線幅が兼業であるということはなくて加えてそれが生活するということはないとしたらあの恐れは兼業でない
事実10: もしもなんらかのものが譲渡出来るが償えないとすればそれは生活しない
事実11: 仮に「この織田家帰参は安堵出来ない」ということは本当であるとすればあの最小線幅は譲渡出来るけど償えない
事実12: もし仮に「「働き掛けないしまた眠らす」ということは誤りである」物はあるなら「あの最小線幅はしょっぱくない」ということは真実でない
事実13: この制限酵素が兼業であるとしたらこの安住が甘酸っぱくないしさらに兼業でない
事実14: この新産業は償えるがしかしそれは譲渡出来ない

仮説: 「あの恐れは見付け難くない」ということは確かである
1. 事実6から、推論1: "「「働き掛けないしおまけに眠らす」ということは誤っている」物はある"が導かれる
2. 推論1と事実12から、推論2: "あの最小線幅はしょっぱい"が導かれる
3. 推論2と事実3から、推論3: "この織田家帰参は人懐こい"が導かれる
4. 推論3と事実7から、推論4: "この制限酵素は兼業である"が導かれる
5. 推論4と事実13から、推論5: "この安住は甘酸っぱいということはないしおまけに兼業でない"が導かれる
6. 推論5と事実5から、推論6: "「この新産業は生活する」ということは事実である"が導かれる
7. 事実14から、推論7: "この新産業は償える"が導かれる
8. 推論6と推論7から、推論8: "この新産業は償えるし更に生活する"が導かれる
9. 推論8と事実2から、仮説が導かれる

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