あの出題数は成立・発展しない
fact1: 「「その壁細胞は晴れがましいしさらに発行す」ということは成り立たない」ということは真実だ fact2: 仮にこの陰性化が発行すとするとその壁細胞は進呈しない fact3: 仮にその壁細胞は成立・発展するなら「あの出題数は進呈するしその上発行す」ということは誤りである fact4: もし仮にその壁細胞は進呈するなら「この陰性化は晴れがましいし加えて発行す」ということは成り立たない fact5: この陰性化は発狂する fact6: もしこの陰性化は進呈するとすれば「その壁細胞は晴れがましいということはないけど発行す」ということは偽である fact7: 仮にこの陰性化は進呈するとしたら「その壁細胞は晴れがましいしその上発行す」ということは成り立たない fact8: この陰性化は進呈するとしたら「その壁細胞は晴れがましかないが成立・発展する」ということは成り立たない fact9: もしもその壁細胞が進呈すればこの陰性化は発行すということはない fact10: この陰性化は進呈する fact11: もしもあの出題数は発行すれば「その壁細胞は成立・発展しないが晴れがましい」ということは成り立たない fact12: 仮に「あの出題数は晴れがましいということはないけれど成立・発展する」ということは事実と異なるならばあの壁細胞は発行すらない fact13: もしもその壁細胞が晴れがましいとしたらあの出題数は成立・発展しない fact14: もしこの陰性化は発行すなら「あの出題数は成立・発展しない一方で進呈する」ということは成り立たない fact15: 「「その壁細胞が晴れはましくらない一方で発行す」ということは偽だ」ということは成り立つとするとあの出題数は成立・発展しない fact16: もし仮にあの出題数が発行すればその壁細胞は成立・発展するということはない fact17: この陰性化が成立・発展するとしたらあの出題数は成立・発展する fact18: 仮に「その壁細胞は成立・発展するということはないけれど晴れがましい」ということは事実と異なるとすればあの出題数は発行すらない fact19: この静蘭は汚らしいならば「その壁細胞は進呈する」ということは成り立つ fact20: 仮にその壁細胞が進呈するとすればあの陰性化は成立・発展する fact21: もしもこの陰性化は発行すれば「その壁細胞は晴れがましいしおまけに進呈する」ということは偽である fact22: 「この陰性化は進呈するということはないけれど晴れがましい」ということは誤りだ fact23: もしもその壁細胞は晴れがましいなら「「あの出題数は進呈するしそれに成立・発展する」ということは間違いである」ということは事実と異ならない
fact6 & fact10 -> int1: 「その壁細胞は晴れがましいということはないがしかし発行す」ということは間違っている; int1 & fact15 -> hypothesis;
fact6 & fact10 -> int1: ¬(¬{AA}{b} & {AB}{b}); int1 & fact15 -> hypothesis;
あの出題数は成立・発展する
$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$ = 
fact6 & fact10 -> int1: 「その壁細胞は晴れがましいということはないがしかし発行す」ということは間違っている; int1 & fact15 -> 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. 事実6と事実10から、推論1: "「その壁細胞は晴れがましいということはないがしかし発行す」ということは間違っている"が導かれる
2. 推論1と事実15から、仮説が導かれる

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