あの労働投入量は碑文・文芸アカデミー会員だということはないがそれは動物福祉だ
fact1: 「オン・ザ・ロックでないか築かないか両方な」ものがあるとしたらその過密スケジュールは築かない fact2: もし「あの労働投入量はオン・ザ・ロックでまた出入りし易い」ということは誤りならばオン・ザ・ロックでない fact3: もしなにかは貯水しないとすれば草臥れ切る fact4: もし仮に「「そのＴＡＸは仲睦まじいかまたはそれは出入りし易い」ということは成り立つ」ということは間違っているとするとそれはオン・ザ・ロックでない fact5: 「あの労働投入量がオン・ザ・ロックだしかつそれは出入りし易い」ということは成り立たない fact6: もし仮に何かはオン・ザ・ロックであるということはないとすれば碑文・文芸アカデミー会員でなくておまけにそれは動物福祉である fact7: もし仮になにかは芽生えないならば「それは仲睦まじいかまたはそれは出入りし易いかまたは両方ともである」ということは成り立たない fact8: もし仮に「この三重唱は御掛かるしさらに板書する」ということは成り立たないとしたらそれは御掛からない fact9: 「とあるものは御掛からない」ということは事実と異ならないとすると「芽生えるかもしくは二千以上である」ということは成り立たない fact10: 「「この三重唱は芽生えるかあるいはそれは二千以上だ」ということは成り立たない」ということは偽であるということはないとすればそのＴＡＸは芽生えない fact11: 「この三重唱は御掛かるしそれは板書する」ということは誤っている fact12: あの外装はオン・ザ・ロックでない
fact6 -> int1: あの労働投入量はオン・ザ・ロックでないならば碑文・文芸アカデミー会員でない一方で動物福祉だ; fact5 & fact2 -> int2: あの労働投入量はオン・ザ・ロックでない; int1 & int2 -> hypothesis;
fact6 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & {AB}{aa}); fact5 & fact2 -> int2: ¬{A}{aa}; int1 & int2 -> hypothesis;
「「この州会社法は碑文・文芸アカデミー会員でそれは築く」ということは嘘でない」ということは成り立たない
fact15 -> int3: もし仮にそのＴＡＸは芽生えないとしたら「それは仲睦まじいかもしくは出入りし易いか両方である」ということは誤りだ; fact13 -> int4: もしもこの三重唱は御掛からないなら「それは芽生えるかそれは二千以上である」ということは正しいということはない; fact16 & fact17 -> int5: この三重唱は御掛かるということはない; int4 & int5 -> int6: 「この三重唱は芽生えるかまたは二千以上であるかもしくは両方だ」ということは嘘だ; fact18 & int6 -> int7: そのＴＡＸは芽生えない; int3 & int7 -> int8: 「そのＴＡＸは仲睦まじいかあるいは出入りし易いかもしくは両方ともである」ということは嘘である; fact19 & int8 -> int9: そのＴＡＸはオン・ザ・ロックでない; int9 -> int10: そのＴＡＸはオン・ザ・ロックでないかまたは築かないかまたは両方ともだ; int10 -> int11: 「オン・ザ・ロックでないかあるいは築かないか両方ともである」物はある; int11 & fact14 -> int12: その過密スケジュールは築かない; int12 -> int13: とあるものは築かない;
$facts$ = fact1: 「オン・ザ・ロックでないか築かないか両方な」ものがあるとしたらその過密スケジュールは築かない fact2: もし「あの労働投入量はオン・ザ・ロックでまた出入りし易い」ということは誤りならばオン・ザ・ロックでない fact3: もしなにかは貯水しないとすれば草臥れ切る fact4: もし仮に「「そのＴＡＸは仲睦まじいかまたはそれは出入りし易い」ということは成り立つ」ということは間違っているとするとそれはオン・ザ・ロックでない fact5: 「あの労働投入量がオン・ザ・ロックだしかつそれは出入りし易い」ということは成り立たない fact6: もし仮に何かはオン・ザ・ロックであるということはないとすれば碑文・文芸アカデミー会員でなくておまけにそれは動物福祉である fact7: もし仮になにかは芽生えないならば「それは仲睦まじいかまたはそれは出入りし易いかまたは両方ともである」ということは成り立たない fact8: もし仮に「この三重唱は御掛かるしさらに板書する」ということは成り立たないとしたらそれは御掛からない fact9: 「とあるものは御掛からない」ということは事実と異ならないとすると「芽生えるかもしくは二千以上である」ということは成り立たない fact10: 「「この三重唱は芽生えるかあるいはそれは二千以上だ」ということは成り立たない」ということは偽であるということはないとすればそのＴＡＸは芽生えない fact11: 「この三重唱は御掛かるしそれは板書する」ということは誤っている fact12: あの外装はオン・ザ・ロックでない ; $hypothesis$ = あの労働投入量は碑文・文芸アカデミー会員だということはないがそれは動物福祉だ ; $proof$ = 
fact6 -> int1: あの労働投入量はオン・ザ・ロックでないならば碑文・文芸アカデミー会員でない一方で動物福祉だ; fact5 & fact2 -> int2: あの労働投入量はオン・ザ・ロックでない; int1 & int2 -> hypothesis; __PROVED__
事実1: 「オン・ザ・ロックでないか築かないか両方な」ものがあるとしたらその過密スケジュールは築かない
事実2: もし「あの労働投入量はオン・ザ・ロックでまた出入りし易い」ということは誤りならばオン・ザ・ロックでない
事実3: もしなにかは貯水しないとすれば草臥れ切る
事実4: もし仮に「「そのＴＡＸは仲睦まじいかまたはそれは出入りし易い」ということは成り立つ」ということは間違っているとするとそれはオン・ザ・ロックでない
事実5: 「あの労働投入量がオン・ザ・ロックだしかつそれは出入りし易い」ということは成り立たない
事実6: もし仮に何かはオン・ザ・ロックであるということはないとすれば碑文・文芸アカデミー会員でなくておまけにそれは動物福祉である
事実7: もし仮になにかは芽生えないならば「それは仲睦まじいかまたはそれは出入りし易いかまたは両方ともである」ということは成り立たない
事実8: もし仮に「この三重唱は御掛かるしさらに板書する」ということは成り立たないとしたらそれは御掛からない
事実9: 「とあるものは御掛からない」ということは事実と異ならないとすると「芽生えるかもしくは二千以上である」ということは成り立たない
事実10: 「「この三重唱は芽生えるかあるいはそれは二千以上だ」ということは成り立たない」ということは偽であるということはないとすればそのＴＡＸは芽生えない
事実11: 「この三重唱は御掛かるしそれは板書する」ということは誤っている
事実12: あの外装はオン・ザ・ロックでない

仮説: あの労働投入量は碑文・文芸アカデミー会員だということはないがそれは動物福祉だ
1. 事実6から、推論1: "あの労働投入量はオン・ザ・ロックでないならば碑文・文芸アカデミー会員でない一方で動物福祉だ"が導かれる
2. 事実5と事実2から、推論2: "あの労働投入量はオン・ザ・ロックでない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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