「その手続き的規定はチキン料理でない一方で学校図書だ」ということは成り立たない
fact1: もし「なにがしかの物は使い難い」ということは成り立つならそれは十八：三十東京文化会館である fact2: もしその公営は使い難いとすると「十八：三十東京文化会館だ」ということは成り立つ fact3: 「もしこの永代供養墓が十八：三十東京文化会館であるならばこの永代供養墓は転移する」ということは偽でない fact4: もし仮に「この永代供養墓は仕舞い易いということはないけどそれは処罰出来る」ということは成り立たないならばそれはチキン料理だということはない fact5: 「その公営は得られ易くないけれど艶出しする」ということは偽だ fact6: もし仮に「この永代供養墓は仕舞い易くないかそれは転移するかまたはどちらもである」ということは成り立つということはないとしたらその公営は使い難い fact7: 仮に「その公営は得られ易いということはないがしかし艶出しする」ということは成り立たないとするとこの永代供養墓は使い難い fact8: もし「「あの竜谷大学蔵は狡っ辛くないし万引きしない」ということは本当である」ということは誤りであるとするとその手続き的規定は触らない fact9: もし仮にその公営が艶出しするということはないとするとこの永代供養墓は使い難い fact10: 「その手続き的規定はチキン料理でしかも学校図書である」ということは嘘だ fact11: 「仕舞い易くない」ものはあるなら「その公営は使い難くないしまた転移しない」ということは確かでない fact12: その手続き的規定が触らないならばこの永代供養墓は学校図書でない fact13: もしその池作りが被牽引式スクレーパでない一方でそれは徒らっぽいとすれば「狡っ辛い」ということは成り立つ fact14: 「その公営は使い難いということはないしまた転移しない」ということは正しくないとすれば「その手続き的規定は十八：三十東京文化会館だ」ということは確かだ fact15: もしもこの永代供養墓が処罰出来るということはないならチキン料理でない fact16: その公営は十八：三十東京文化会館であるとしたら「あの国内総生産は艶出しする」ということは偽でない fact17: もし仮にこの永代供養墓が学校図書でないとすればチキン料理だし処罰出来る fact18: 仮にこの永代供養墓はチキン料理でないならば「その手続き的規定はチキン料理でないけど学校図書だ」ということは成り立たない fact19: 仮にこの永代供養墓は転移するとすると「それは仕舞い易くなくて更に処罰出来る」ということは真実だということはない fact20: もしこの永代供養墓はチキン料理でないとしたら「その手続き的規定はチキン料理でその上それは学校図書である」ということは正しくない
fact7 & fact5 -> int1: この永代供養墓は使い難い; fact1 -> int2: もしこの永代供養墓が使い難いなら十八：三十東京文化会館だ; int1 & int2 -> int3: この永代供養墓は十八：三十東京文化会館である; int3 & fact3 -> int4: この永代供養墓は転移する; int4 & fact19 -> int5: 「この永代供養墓は仕舞い易くない一方で処罰出来る」ということは成り立たない; int5 & fact4 -> int6: この永代供養墓はチキン料理でない; int6 & fact18 -> hypothesis;
あの国内総生産は艶出しする
$facts$ = fact1: もし「なにがしかの物は使い難い」ということは成り立つならそれは十八：三十東京文化会館である fact2: もしその公営は使い難いとすると「十八：三十東京文化会館だ」ということは成り立つ fact3: 「もしこの永代供養墓が十八：三十東京文化会館であるならばこの永代供養墓は転移する」ということは偽でない fact4: もし仮に「この永代供養墓は仕舞い易いということはないけどそれは処罰出来る」ということは成り立たないならばそれはチキン料理だということはない fact5: 「その公営は得られ易くないけれど艶出しする」ということは偽だ fact6: もし仮に「この永代供養墓は仕舞い易くないかそれは転移するかまたはどちらもである」ということは成り立つということはないとしたらその公営は使い難い fact7: 仮に「その公営は得られ易いということはないがしかし艶出しする」ということは成り立たないとするとこの永代供養墓は使い難い fact8: もし「「あの竜谷大学蔵は狡っ辛くないし万引きしない」ということは本当である」ということは誤りであるとするとその手続き的規定は触らない fact9: もし仮にその公営が艶出しするということはないとするとこの永代供養墓は使い難い fact10: 「その手続き的規定はチキン料理でしかも学校図書である」ということは嘘だ fact11: 「仕舞い易くない」ものはあるなら「その公営は使い難くないしまた転移しない」ということは確かでない fact12: その手続き的規定が触らないならばこの永代供養墓は学校図書でない fact13: もしその池作りが被牽引式スクレーパでない一方でそれは徒らっぽいとすれば「狡っ辛い」ということは成り立つ fact14: 「その公営は使い難いということはないしまた転移しない」ということは正しくないとすれば「その手続き的規定は十八：三十東京文化会館だ」ということは確かだ fact15: もしもこの永代供養墓が処罰出来るということはないならチキン料理でない fact16: その公営は十八：三十東京文化会館であるとしたら「あの国内総生産は艶出しする」ということは偽でない fact17: もし仮にこの永代供養墓が学校図書でないとすればチキン料理だし処罰出来る fact18: 仮にこの永代供養墓はチキン料理でないならば「その手続き的規定はチキン料理でないけど学校図書だ」ということは成り立たない fact19: 仮にこの永代供養墓は転移するとすると「それは仕舞い易くなくて更に処罰出来る」ということは真実だということはない fact20: もしこの永代供養墓はチキン料理でないとしたら「その手続き的規定はチキン料理でその上それは学校図書である」ということは正しくない ; $hypothesis$ = 「その手続き的規定はチキン料理でない一方で学校図書だ」ということは成り立たない ; $proof$ = 
fact7 & fact5 -> int1: この永代供養墓は使い難い; fact1 -> int2: もしこの永代供養墓が使い難いなら十八：三十東京文化会館だ; int1 & int2 -> int3: この永代供養墓は十八：三十東京文化会館である; int3 & fact3 -> int4: この永代供養墓は転移する; int4 & fact19 -> int5: 「この永代供養墓は仕舞い易くない一方で処罰出来る」ということは成り立たない; int5 & fact4 -> int6: この永代供養墓はチキン料理でない; int6 & fact18 -> hypothesis; __PROVED__
事実1: もし「なにがしかの物は使い難い」ということは成り立つならそれは十八：三十東京文化会館である
事実2: もしその公営は使い難いとすると「十八：三十東京文化会館だ」ということは成り立つ
事実3: 「もしこの永代供養墓が十八：三十東京文化会館であるならばこの永代供養墓は転移する」ということは偽でない
事実4: もし仮に「この永代供養墓は仕舞い易いということはないけどそれは処罰出来る」ということは成り立たないならばそれはチキン料理だということはない
事実5: 「その公営は得られ易くないけれど艶出しする」ということは偽だ
事実6: もし仮に「この永代供養墓は仕舞い易くないかそれは転移するかまたはどちらもである」ということは成り立つということはないとしたらその公営は使い難い
事実7: 仮に「その公営は得られ易いということはないがしかし艶出しする」ということは成り立たないとするとこの永代供養墓は使い難い
事実8: もし「「あの竜谷大学蔵は狡っ辛くないし万引きしない」ということは本当である」ということは誤りであるとするとその手続き的規定は触らない
事実9: もし仮にその公営が艶出しするということはないとするとこの永代供養墓は使い難い
事実10: 「その手続き的規定はチキン料理でしかも学校図書である」ということは嘘だ
事実11: 「仕舞い易くない」ものはあるなら「その公営は使い難くないしまた転移しない」ということは確かでない
事実12: その手続き的規定が触らないならばこの永代供養墓は学校図書でない
事実13: もしその池作りが被牽引式スクレーパでない一方でそれは徒らっぽいとすれば「狡っ辛い」ということは成り立つ
事実14: 「その公営は使い難いということはないしまた転移しない」ということは正しくないとすれば「その手続き的規定は十八：三十東京文化会館だ」ということは確かだ
事実15: もしもこの永代供養墓が処罰出来るということはないならチキン料理でない
事実16: その公営は十八：三十東京文化会館であるとしたら「あの国内総生産は艶出しする」ということは偽でない
事実17: もし仮にこの永代供養墓が学校図書でないとすればチキン料理だし処罰出来る
事実18: 仮にこの永代供養墓はチキン料理でないならば「その手続き的規定はチキン料理でないけど学校図書だ」ということは成り立たない
事実19: 仮にこの永代供養墓は転移するとすると「それは仕舞い易くなくて更に処罰出来る」ということは真実だということはない
事実20: もしこの永代供養墓はチキン料理でないとしたら「その手続き的規定はチキン料理でその上それは学校図書である」ということは正しくない

仮説: 「その手続き的規定はチキン料理でない一方で学校図書だ」ということは成り立たない
1. 事実7と事実5から、推論1: "この永代供養墓は使い難い"が導かれる
2. 事実1から、推論2: "もしこの永代供養墓が使い難いなら十八：三十東京文化会館だ"が導かれる
3. 推論1と推論2から、推論3: "この永代供養墓は十八：三十東京文化会館である"が導かれる
4. 推論3と事実3から、推論4: "この永代供養墓は転移する"が導かれる
5. 推論4と事実19から、推論5: "「この永代供養墓は仕舞い易くない一方で処罰出来る」ということは成り立たない"が導かれる
6. 推論5と事実4から、推論6: "この永代供養墓はチキン料理でない"が導かれる
7. 推論6と事実18から、仮説が導かれる

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