「もし安堵し難くないとすると読み易い」ものはある
fact1: 「もしも混合種でないならば低い」ものはある fact2: 「もしもやっかまないならＭＴゲージである」ものはある fact3: もしこの自立訓練が振らさないならばそれは安堵し難い fact4: 「もしも「御気に為さらない」ということは真実なら扱い易い」ものはある fact5: 仮にあの百戦は司法審査でないとしたらそれは読み替える fact6: あの百戦が復元出来ないならばそれは安堵し難い fact7: 「もし低成長でないならば四苦八苦する」物はある fact8: 「画像検査であるということはないとするとリンパ系である」物はある fact9: 「もし仮に「低い」ということは成り立たないなら痛める」物はある fact10: あの百戦が柔くないならエリート官僚だ fact11: 仮に「その奥床しさは安堵し難くない」ということは成り立つなら「それは麗しい」ということは本当である fact12: 「安堵し難いということはない物は読み易い」ということは事実である fact13: 仮に「あの百戦はうろうろするということはない」ということは事実であるとするとそれは安堵し難い fact14: あの百戦が安堵し難いとすれば読み易い fact15: 「安堵し難いなら読み易い」物はある fact16: もしもこのカルテ開示が打倒さないなら読み易い fact17: 安堵し難いものは読み易い fact18: 「相乗りしないとすれば「金融政策運営である」ということは成り立つ」ものはある
fact12 -> int1: 仮にあの百戦は安堵し難くないとすれば読み易い; int1 -> hypothesis;
fact12 -> int1: ¬{B}{aa} -> {C}{aa}; int1 -> hypothesis;
$facts$ = fact1: 「もしも混合種でないならば低い」ものはある fact2: 「もしもやっかまないならＭＴゲージである」ものはある fact3: もしこの自立訓練が振らさないならばそれは安堵し難い fact4: 「もしも「御気に為さらない」ということは真実なら扱い易い」ものはある fact5: 仮にあの百戦は司法審査でないとしたらそれは読み替える fact6: あの百戦が復元出来ないならばそれは安堵し難い fact7: 「もし低成長でないならば四苦八苦する」物はある fact8: 「画像検査であるということはないとするとリンパ系である」物はある fact9: 「もし仮に「低い」ということは成り立たないなら痛める」物はある fact10: あの百戦が柔くないならエリート官僚だ fact11: 仮に「その奥床しさは安堵し難くない」ということは成り立つなら「それは麗しい」ということは本当である fact12: 「安堵し難いということはない物は読み易い」ということは事実である fact13: 仮に「あの百戦はうろうろするということはない」ということは事実であるとするとそれは安堵し難い fact14: あの百戦が安堵し難いとすれば読み易い fact15: 「安堵し難いなら読み易い」物はある fact16: もしもこのカルテ開示が打倒さないなら読み易い fact17: 安堵し難いものは読み易い fact18: 「相乗りしないとすれば「金融政策運営である」ということは成り立つ」ものはある ; $hypothesis$ = 「もし安堵し難くないとすると読み易い」ものはある ; $proof$ = 
fact12 -> int1: 仮にあの百戦は安堵し難くないとすれば読み易い; int1 -> hypothesis; __PROVED__
事実1: 「もしも混合種でないならば低い」ものはある
事実2: 「もしもやっかまないならＭＴゲージである」ものはある
事実3: もしこの自立訓練が振らさないならばそれは安堵し難い
事実4: 「もしも「御気に為さらない」ということは真実なら扱い易い」ものはある
事実5: 仮にあの百戦は司法審査でないとしたらそれは読み替える
事実6: あの百戦が復元出来ないならばそれは安堵し難い
事実7: 「もし低成長でないならば四苦八苦する」物はある
事実8: 「画像検査であるということはないとするとリンパ系である」物はある
事実9: 「もし仮に「低い」ということは成り立たないなら痛める」物はある
事実10: あの百戦が柔くないならエリート官僚だ
事実11: 仮に「その奥床しさは安堵し難くない」ということは成り立つなら「それは麗しい」ということは本当である
事実12: 「安堵し難いということはない物は読み易い」ということは事実である
事実13: 仮に「あの百戦はうろうろするということはない」ということは事実であるとするとそれは安堵し難い
事実14: あの百戦が安堵し難いとすれば読み易い
事実15: 「安堵し難いなら読み易い」物はある
事実16: もしもこのカルテ開示が打倒さないなら読み易い
事実17: 安堵し難いものは読み易い
事実18: 「相乗りしないとすれば「金融政策運営である」ということは成り立つ」ものはある

仮説: 「もし安堵し難くないとすると読み易い」ものはある
1. 事実12から、推論1: "仮にあの百戦は安堵し難くないとすれば読み易い"が導かれる
2. 推論1から、仮説が導かれる

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