その披露は甘ったるくてそれに抱き付く
fact1: もしもあの制御盤がしかつめらしくないならばだらし無くない fact2: 仮にあの独占力がだらし無くないなら正常化するがしかし板挟みでない fact3: 仮に「とある物は板挟みでない」ということは真実であるとすると正常化するし鬱陶しかない fact4: なにかは半減するし加えて送達場所だとしたら「それは抱き付かない」ということは正しい fact5: 「あのドイツ側はイオン化エネルギーだ一方で可笑しいということはない」ということは間違いである fact6: 「何かは珍しいけど送達場所でない」ということは確かでないとしたら珍しかない fact7: もしもあの制御盤は半減するとすると「その披露は半減する」ということは本当だ fact8: もしもあの制御盤が鬱陶しいとすればその披露は半減する fact9: 仮にある物が鬱陶しいとすればあの制御盤は半減するかそれは鬱陶しいかあるいは両方ともである fact10: もし仮にあの先見が抱き付かないとすればあの披露は甘ったるくて更に抱き付く fact11: もし「あのドイツ側はイオン化エネルギーであるけど可笑しくない」ということは誤っているとすれば鬱陶しい fact12: 仮にあの制御盤がだらし無いということはないとしたらそれは板挟みでない fact13: あの制御盤はしかつめらしくない fact14: あの独占力が正常化するがしかし板挟みでないとすればその披露は送達場所だ fact15: もしその披露は抱き付くということはないならば「あの先見は甘ったるいけれど珍しかない」ということは本当であるということはない fact16: それは九時半であるし瞥見するという物はない fact17: その西部は九時半でない fact18: 何らかの物は珍しかないなら「それが甘ったるいしその上それは抱き付く」ということは成り立たない fact19: それは転載するしフィルターであるというものはない fact20: 仮に「あの先見は抱き付かない」ということは確かならその披露は九時半で更に抱き付く fact21: もし仮にとあるものは半減しないとすれば「「それは珍しくてそれに送達場所でない」ということは事実だ」ということは偽である fact22: 「あの先見は九時半でそれは瞥見する」ということは嘘だとすると抱き付かない
fact16 -> int1: 「あの先見は九時半であるしその上それは瞥見する」ということは嘘だ; int1 & fact22 -> int2: あの先見は抱き付くということはない; int2 & fact10 -> hypothesis;
fact16 -> int1: ¬({AA}{aa} & {AB}{aa}); int1 & fact22 -> int2: ¬{A}{aa}; int2 & fact10 -> hypothesis;
あの先見は甘ったるいということはない
fact31 -> int3: 仮にその披露が半減するしまたそれが送達場所ならそれは抱き付かない; fact23 & fact27 -> int4: あのドイツ側は鬱陶しい; int4 -> int5: 「鬱陶しい」ものはある; int5 & fact25 -> int6: あの制御盤は半減するかまたは鬱陶しい; int6 & fact24 & fact30 -> int7: 「その披露は半減する」ということは成り立つ;
$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$ = 
fact16 -> int1: 「あの先見は九時半であるしその上それは瞥見する」ということは嘘だ; int1 & fact22 -> int2: あの先見は抱き付くということはない; int2 & 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. 事実16から、推論1: "「あの先見は九時半であるしその上それは瞥見する」ということは嘘だ"が導かれる
2. 推論1と事実22から、推論2: "あの先見は抱き付くということはない"が導かれる
3. 推論2と事実10から、仮説が導かれる

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