あの基本月額は敵中深くない
fact1: 腹黒くない物は翻刻しないし加えて敵中深くない fact2: なんらかの物は保存性だとしたら「その機能上は敵中深くて自宅付近だ」ということは嘘である fact3: とあるものは防災訓練であるということはないとするとそれは敵中深くない fact4: もしもあの基本月額が防災訓練だということはないならば敵中深いということはない fact5: なにかは翻刻する fact6: 痒くないものは拱くしおまけに勾留出来る fact7: もし「何かは勾留出来るしそれは拱く」ということは成り立たないとしたらそれは腹黒いということはない fact8: あの捏ね鉢は拱かない fact9: もし仮に何かは翻刻するなら「あの基本月額は三十八ページ参照であるしその上防災訓練である」ということは誤っている fact10: 「何らかの物は寝起きするししかも目す」ということは成り立つということはないならそれは相容れない fact11: 「その塵袋は一見するし三十八ページ参照である」ということは成り立つということはない fact12: もしも「この残存歯は勾留出来るしかつ拱く」ということは誤りであるとすると腹黒くない fact13: 仮になにがしかの物が生じ兼ねらないならば痒くない fact14: もし何らかの物が拱けば腹黒い fact15: あの基本月額は起こし難くない fact16: もしも「なんらかの物は三十八ページ参照であるしそれは防災訓練だ」ということは嘘であるならば敵中深いということはない fact17: もし仮にあの背丈以上が腹黒いならあの捏ね鉢は翻刻する fact18: 「あの基本月額は水死するししかも異状である」ということは成り立たない fact19: もし仮に「あの調査不能が打ち上がり易いしその上解雇予告である」ということは本当でないとしたらそれは防災訓練だということはない fact20: もし「あの見習いは生じ兼ねるし冷め難い」ということは成り立たないならあの背丈以上は生じ兼ねるということはない fact21: もしも「「売れ始める」ということは事実である」ものはあれば「あの基本月額は白ししさらに若々しい」ということは間違っている fact22: あの捏ね鉢が翻刻するとするとあの基本月額は敵中深い fact23: もし建築コストはあれば「「あの背丈以上は半身浴で疎い」ということは正しい」ということは偽だ
fact16 -> int1: もし「あの基本月額は三十八ページ参照だし加えて防災訓練である」ということは偽であるならそれは敵中深くない; fact5 & fact9 -> int2: 「あの基本月額は三十八ページ参照で更に防災訓練である」ということは成り立たない; int1 & int2 -> hypothesis;
fact16 -> int1: ¬({AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; fact5 & fact9 -> int2: ¬({AA}{aa} & {AB}{aa}); int1 & int2 -> hypothesis;
この残存歯は敵中深くない
fact24 -> int3: 「この残存歯は腹黒くない」ということは確かだとするとそれは翻刻しないし敵中深くない;
$facts$ = fact1: 腹黒くない物は翻刻しないし加えて敵中深くない fact2: なんらかの物は保存性だとしたら「その機能上は敵中深くて自宅付近だ」ということは嘘である fact3: とあるものは防災訓練であるということはないとするとそれは敵中深くない fact4: もしもあの基本月額が防災訓練だということはないならば敵中深いということはない fact5: なにかは翻刻する fact6: 痒くないものは拱くしおまけに勾留出来る fact7: もし「何かは勾留出来るしそれは拱く」ということは成り立たないとしたらそれは腹黒いということはない fact8: あの捏ね鉢は拱かない fact9: もし仮に何かは翻刻するなら「あの基本月額は三十八ページ参照であるしその上防災訓練である」ということは誤っている fact10: 「何らかの物は寝起きするししかも目す」ということは成り立つということはないならそれは相容れない fact11: 「その塵袋は一見するし三十八ページ参照である」ということは成り立つということはない fact12: もしも「この残存歯は勾留出来るしかつ拱く」ということは誤りであるとすると腹黒くない fact13: 仮になにがしかの物が生じ兼ねらないならば痒くない fact14: もし何らかの物が拱けば腹黒い fact15: あの基本月額は起こし難くない fact16: もしも「なんらかの物は三十八ページ参照であるしそれは防災訓練だ」ということは嘘であるならば敵中深いということはない fact17: もし仮にあの背丈以上が腹黒いならあの捏ね鉢は翻刻する fact18: 「あの基本月額は水死するししかも異状である」ということは成り立たない fact19: もし仮に「あの調査不能が打ち上がり易いしその上解雇予告である」ということは本当でないとしたらそれは防災訓練だということはない fact20: もし「あの見習いは生じ兼ねるし冷め難い」ということは成り立たないならあの背丈以上は生じ兼ねるということはない fact21: もしも「「売れ始める」ということは事実である」ものはあれば「あの基本月額は白ししさらに若々しい」ということは間違っている fact22: あの捏ね鉢が翻刻するとするとあの基本月額は敵中深い fact23: もし建築コストはあれば「「あの背丈以上は半身浴で疎い」ということは正しい」ということは偽だ ; $hypothesis$ = あの基本月額は敵中深くない ; $proof$ = 
fact16 -> int1: もし「あの基本月額は三十八ページ参照だし加えて防災訓練である」ということは偽であるならそれは敵中深くない; fact5 & fact9 -> int2: 「あの基本月額は三十八ページ参照で更に防災訓練である」ということは成り立たない; int1 & int2 -> hypothesis; __PROVED__
事実1: 腹黒くない物は翻刻しないし加えて敵中深くない
事実2: なんらかの物は保存性だとしたら「その機能上は敵中深くて自宅付近だ」ということは嘘である
事実3: とあるものは防災訓練であるということはないとするとそれは敵中深くない
事実4: もしもあの基本月額が防災訓練だということはないならば敵中深いということはない
事実5: なにかは翻刻する
事実6: 痒くないものは拱くしおまけに勾留出来る
事実7: もし「何かは勾留出来るしそれは拱く」ということは成り立たないとしたらそれは腹黒いということはない
事実8: あの捏ね鉢は拱かない
事実9: もし仮に何かは翻刻するなら「あの基本月額は三十八ページ参照であるしその上防災訓練である」ということは誤っている
事実10: 「何らかの物は寝起きするししかも目す」ということは成り立つということはないならそれは相容れない
事実11: 「その塵袋は一見するし三十八ページ参照である」ということは成り立つということはない
事実12: もしも「この残存歯は勾留出来るしかつ拱く」ということは誤りであるとすると腹黒くない
事実13: 仮になにがしかの物が生じ兼ねらないならば痒くない
事実14: もし何らかの物が拱けば腹黒い
事実15: あの基本月額は起こし難くない
事実16: もしも「なんらかの物は三十八ページ参照であるしそれは防災訓練だ」ということは嘘であるならば敵中深いということはない
事実17: もし仮にあの背丈以上が腹黒いならあの捏ね鉢は翻刻する
事実18: 「あの基本月額は水死するししかも異状である」ということは成り立たない
事実19: もし仮に「あの調査不能が打ち上がり易いしその上解雇予告である」ということは本当でないとしたらそれは防災訓練だということはない
事実20: もし「あの見習いは生じ兼ねるし冷め難い」ということは成り立たないならあの背丈以上は生じ兼ねるということはない
事実21: もしも「「売れ始める」ということは事実である」ものはあれば「あの基本月額は白ししさらに若々しい」ということは間違っている
事実22: あの捏ね鉢が翻刻するとするとあの基本月額は敵中深い
事実23: もし建築コストはあれば「「あの背丈以上は半身浴で疎い」ということは正しい」ということは偽だ

仮説: あの基本月額は敵中深くない
1. 事実16から、推論1: "もし「あの基本月額は三十八ページ参照だし加えて防災訓練である」ということは偽であるならそれは敵中深くない"が導かれる
2. 事実5と事実9から、推論2: "「あの基本月額は三十八ページ参照で更に防災訓練である」ということは成り立たない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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