その平地は喧しくてそれはグレードアップする
fact1: もしもこの悔悟が授乳であるということはなくてしかもそれがファスナーでないとするとあの上着は仲睦まじくない fact2: もしその平地が仲睦まじくないしかつ経済的要因でないとしたらあの上着は喧しくない fact3: もしもあの上着が仲睦まじくないとするとこの人衆は経済的要因であるかまたは敵中深くないかまたは両方ともである fact4: もし「とあるものはグレードアップしないがしかし除架する」ということは成り立たないとしたら長生きする fact5: この悔悟はグレードアップしない fact6: 仮に「「経済的要因だということはなくてそれに仲睦まじくない」ということは成り立たない」物はあるとすれば「この事業計画は忙しない」ということは間違っていない fact7: 「この人衆は授乳だということはない」ということは成り立つ fact8: あの旧登記所はふてぶてしい fact9: 「なにがしかの物は喧しくないけど敵中深い」ということは偽だとするとそれは喧しい fact10: この人衆はもたもたするしかつそれは六以上である fact11: それは経済的要因であるということはなくてそれに仲睦まじくないという物はない fact12: 「もしこの人衆が経済的要因であるか敵中深いということはないかあるいは両方ともならあの旧登記所は長生きするということはない」ということは確かだ fact13: この悔悟は授乳でなくてファスナーでない fact14: その平地は経済的要因で加えてグレードアップする fact15: あの旧登記所はグレードアップするかもしくは長生きしない fact16: なにかはもたもたするとすると「あの上着はグレードアップしないがしかし除架する」ということは成り立たない fact17: 仮にあの上着は長生きすれば「この事業計画は喧しくないが敵中深い」ということは成り立たない fact18: 仮にあの上着がファスナーでないとすればその平地は仲睦まじいかもしくはグレードアップする fact19: もし仮にあの旧登記所が長生きしないとしたらその平地は喧しいしその上グレードアップする
fact1 & fact13 -> int1: あの上着は仲睦まじいということはない; int1 & fact3 -> int2: この人衆は経済的要因であるかあるいは敵中深くないかまたは両方である; int2 & fact12 -> int3: 「あの旧登記所は長生きするということはない」ということは事実だ; int3 & fact19 -> hypothesis;
この事業計画は喧しいしそれは忙しない
fact22 -> int4: 「この事業計画は喧しくないけど敵中深い」ということは事実と異なるとしたら喧しい; fact20 -> int5: もし「あの上着はグレードアップしないけど除架する」ということは嘘であるとすると長生きする; fact23 -> int6: この人衆はもたもたする; int6 -> int7: 「もたもたする」ものはある; int7 & fact21 -> int8: 「あの上着はグレードアップしないけれど除架する」ということは成り立たない; int5 & int8 -> int9: あの上着は長生きする; fact24 & int9 -> int10: 「この事業計画は喧しくないけど敵中深い」ということは誤っている; int4 & int10 -> int11: この事業計画は喧しい; fact26 -> int12: 「この悔悟は経済的要因だということはないしそれにそれは仲睦まじくない」ということは誤りだ; int12 -> int13: 「「経済的要因であるということはないしかつ仲睦まじくない」ということは間違いである」ものはある; int13 & fact25 -> int14: この事業計画は忙しない; int11 & int14 -> hypothesis;
$facts$ = fact1: もしもこの悔悟が授乳であるということはなくてしかもそれがファスナーでないとするとあの上着は仲睦まじくない fact2: もしその平地が仲睦まじくないしかつ経済的要因でないとしたらあの上着は喧しくない fact3: もしもあの上着が仲睦まじくないとするとこの人衆は経済的要因であるかまたは敵中深くないかまたは両方ともである fact4: もし「とあるものはグレードアップしないがしかし除架する」ということは成り立たないとしたら長生きする fact5: この悔悟はグレードアップしない fact6: 仮に「「経済的要因だということはなくてそれに仲睦まじくない」ということは成り立たない」物はあるとすれば「この事業計画は忙しない」ということは間違っていない fact7: 「この人衆は授乳だということはない」ということは成り立つ fact8: あの旧登記所はふてぶてしい fact9: 「なにがしかの物は喧しくないけど敵中深い」ということは偽だとするとそれは喧しい fact10: この人衆はもたもたするしかつそれは六以上である fact11: それは経済的要因であるということはなくてそれに仲睦まじくないという物はない fact12: 「もしこの人衆が経済的要因であるか敵中深いということはないかあるいは両方ともならあの旧登記所は長生きするということはない」ということは確かだ fact13: この悔悟は授乳でなくてファスナーでない fact14: その平地は経済的要因で加えてグレードアップする fact15: あの旧登記所はグレードアップするかもしくは長生きしない fact16: なにかはもたもたするとすると「あの上着はグレードアップしないがしかし除架する」ということは成り立たない fact17: 仮にあの上着は長生きすれば「この事業計画は喧しくないが敵中深い」ということは成り立たない fact18: 仮にあの上着がファスナーでないとすればその平地は仲睦まじいかもしくはグレードアップする fact19: もし仮にあの旧登記所が長生きしないとしたらその平地は喧しいしその上グレードアップする ; $hypothesis$ = その平地は喧しくてそれはグレードアップする ; $proof$ = 
fact1 & fact13 -> int1: あの上着は仲睦まじいということはない; int1 & fact3 -> int2: この人衆は経済的要因であるかあるいは敵中深くないかまたは両方である; int2 & fact12 -> int3: 「あの旧登記所は長生きするということはない」ということは事実だ; int3 & fact19 -> hypothesis; __PROVED__
事実1: もしもこの悔悟が授乳であるということはなくてしかもそれがファスナーでないとするとあの上着は仲睦まじくない
事実2: もしその平地が仲睦まじくないしかつ経済的要因でないとしたらあの上着は喧しくない
事実3: もしもあの上着が仲睦まじくないとするとこの人衆は経済的要因であるかまたは敵中深くないかまたは両方ともである
事実4: もし「とあるものはグレードアップしないがしかし除架する」ということは成り立たないとしたら長生きする
事実5: この悔悟はグレードアップしない
事実6: 仮に「「経済的要因だということはなくてそれに仲睦まじくない」ということは成り立たない」物はあるとすれば「この事業計画は忙しない」ということは間違っていない
事実7: 「この人衆は授乳だということはない」ということは成り立つ
事実8: あの旧登記所はふてぶてしい
事実9: 「なにがしかの物は喧しくないけど敵中深い」ということは偽だとするとそれは喧しい
事実10: この人衆はもたもたするしかつそれは六以上である
事実11: それは経済的要因であるということはなくてそれに仲睦まじくないという物はない
事実12: 「もしこの人衆が経済的要因であるか敵中深いということはないかあるいは両方ともならあの旧登記所は長生きするということはない」ということは確かだ
事実13: この悔悟は授乳でなくてファスナーでない
事実14: その平地は経済的要因で加えてグレードアップする
事実15: あの旧登記所はグレードアップするかもしくは長生きしない
事実16: なにかはもたもたするとすると「あの上着はグレードアップしないがしかし除架する」ということは成り立たない
事実17: 仮にあの上着は長生きすれば「この事業計画は喧しくないが敵中深い」ということは成り立たない
事実18: 仮にあの上着がファスナーでないとすればその平地は仲睦まじいかもしくはグレードアップする
事実19: もし仮にあの旧登記所が長生きしないとしたらその平地は喧しいしその上グレードアップする

仮説: その平地は喧しくてそれはグレードアップする
1. 事実1と事実13から、推論1: "あの上着は仲睦まじいということはない"が導かれる
2. 推論1と事実3から、推論2: "この人衆は経済的要因であるかあるいは敵中深くないかまたは両方である"が導かれる
3. 推論2と事実12から、推論3: "「あの旧登記所は長生きするということはない」ということは事実だ"が導かれる
4. 推論3と事実19から、仮説が導かれる

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