この制作時期はＧ型だということはない
fact1: その上中下は判断し難い fact2: 継続し難いものは何気無くない fact3: 「なにがしかのものは調節し易いかあるいは公務執行妨害罪だ」ということは偽なら復号化出来ない fact4: もし仮に「この制作時期は江尻城であるかまたは判断し難い」ということは成り立つということはないとすると何気無くない fact5: もし仮にその上中下は何気無くないならば「この制作時期は格式であるかもしくは何気無いかもしくは両方ともである」ということは確かだということはない fact6: 「江尻城である」物はあるとすれば「その上中下はＧ型でないけれどそれは判断し難い」ということは嘘でない fact7: その上中下は判断し難いし加えて江尻城だ fact8: もし「何らかの物は格式であるかそれは何気無いかまたはどちらもである」ということは成り立たないとしたらＧ型でない fact9: 仮に何らかのものが江尻城なら判断し難い fact10: もし仮にその上中下が何気無くないとすればこの制作時期は何気無くない fact11: もしある物が江尻城であるか継続し難いとしたらそれは何気無くない fact12: 「この制作時期は継続し難い」ということは確かだ fact13: 「この制作時期は何気無くない」ということは正しい fact14: 何気無いということはないものは江尻城だし継続し難い fact15: その上中下が江尻城であるか継続し難いとしたら格式でない fact16: もし仮に「あるものは対独宣戦であるかあるいはがめつい」ということは正しくないとしたら「それは力まない」ということは正しい fact17: もし仮にその上中下が継続し難いとすればそれは何気無くない
fact7 -> int1: その上中下は江尻城である; int1 -> int2: その上中下は江尻城であるかそれは継続し難い; fact11 -> int3: もしその上中下は江尻城であるかあるいは継続し難いとすると「「それは何気無い」ということは真実だ」ということは偽である; int2 & int3 -> int4: その上中下は何気無くない; int4 & fact5 -> int5: 「この制作時期は格式であるかあるいは何気無い」ということは間違いだ; fact8 -> int6: もし「この制作時期は格式であるか何気無いか両方ともだ」ということは確かでないとしたらそれはＧ型でない; int5 & int6 -> hypothesis;
この制作時期はＧ型である
fact18 -> int7: もしもこの制作時期は江尻城であるとしたらそれは判断し難い;
$facts$ = fact1: その上中下は判断し難い fact2: 継続し難いものは何気無くない fact3: 「なにがしかのものは調節し易いかあるいは公務執行妨害罪だ」ということは偽なら復号化出来ない fact4: もし仮に「この制作時期は江尻城であるかまたは判断し難い」ということは成り立つということはないとすると何気無くない fact5: もし仮にその上中下は何気無くないならば「この制作時期は格式であるかもしくは何気無いかもしくは両方ともである」ということは確かだということはない fact6: 「江尻城である」物はあるとすれば「その上中下はＧ型でないけれどそれは判断し難い」ということは嘘でない fact7: その上中下は判断し難いし加えて江尻城だ fact8: もし「何らかの物は格式であるかそれは何気無いかまたはどちらもである」ということは成り立たないとしたらＧ型でない fact9: 仮に何らかのものが江尻城なら判断し難い fact10: もし仮にその上中下が何気無くないとすればこの制作時期は何気無くない fact11: もしある物が江尻城であるか継続し難いとしたらそれは何気無くない fact12: 「この制作時期は継続し難い」ということは確かだ fact13: 「この制作時期は何気無くない」ということは正しい fact14: 何気無いということはないものは江尻城だし継続し難い fact15: その上中下が江尻城であるか継続し難いとしたら格式でない fact16: もし仮に「あるものは対独宣戦であるかあるいはがめつい」ということは正しくないとしたら「それは力まない」ということは正しい fact17: もし仮にその上中下が継続し難いとすればそれは何気無くない ; $hypothesis$ = この制作時期はＧ型だということはない ; $proof$ = 
fact7 -> int1: その上中下は江尻城である; int1 -> int2: その上中下は江尻城であるかそれは継続し難い; fact11 -> int3: もしその上中下は江尻城であるかあるいは継続し難いとすると「「それは何気無い」ということは真実だ」ということは偽である; int2 & int3 -> int4: その上中下は何気無くない; int4 & fact5 -> int5: 「この制作時期は格式であるかあるいは何気無い」ということは間違いだ; fact8 -> int6: もし「この制作時期は格式であるか何気無いか両方ともだ」ということは確かでないとしたらそれはＧ型でない; int5 & int6 -> hypothesis; __PROVED__
事実1: その上中下は判断し難い
事実2: 継続し難いものは何気無くない
事実3: 「なにがしかのものは調節し易いかあるいは公務執行妨害罪だ」ということは偽なら復号化出来ない
事実4: もし仮に「この制作時期は江尻城であるかまたは判断し難い」ということは成り立つということはないとすると何気無くない
事実5: もし仮にその上中下は何気無くないならば「この制作時期は格式であるかもしくは何気無いかもしくは両方ともである」ということは確かだということはない
事実6: 「江尻城である」物はあるとすれば「その上中下はＧ型でないけれどそれは判断し難い」ということは嘘でない
事実7: その上中下は判断し難いし加えて江尻城だ
事実8: もし「何らかの物は格式であるかそれは何気無いかまたはどちらもである」ということは成り立たないとしたらＧ型でない
事実9: 仮に何らかのものが江尻城なら判断し難い
事実10: もし仮にその上中下が何気無くないとすればこの制作時期は何気無くない
事実11: もしある物が江尻城であるか継続し難いとしたらそれは何気無くない
事実12: 「この制作時期は継続し難い」ということは確かだ
事実13: 「この制作時期は何気無くない」ということは正しい
事実14: 何気無いということはないものは江尻城だし継続し難い
事実15: その上中下が江尻城であるか継続し難いとしたら格式でない
事実16: もし仮に「あるものは対独宣戦であるかあるいはがめつい」ということは正しくないとしたら「それは力まない」ということは正しい
事実17: もし仮にその上中下が継続し難いとすればそれは何気無くない

仮説: この制作時期はＧ型だということはない
1. 事実7から、推論1: "その上中下は江尻城である"が導かれる
2. 推論1から、推論2: "その上中下は江尻城であるかそれは継続し難い"が導かれる
3. 事実11から、推論3: "もしその上中下は江尻城であるかあるいは継続し難いとすると「「それは何気無い」ということは真実だ」ということは偽である"が導かれる
4. 推論2と推論3から、推論4: "その上中下は何気無くない"が導かれる
5. 推論4と事実5から、推論5: "「この制作時期は格式であるかあるいは何気無い」ということは間違いだ"が導かれる
6. 事実8から、推論6: "もし「この制作時期は格式であるか何気無いか両方ともだ」ということは確かでないとしたらそれはＧ型でない"が導かれる
7. 推論5と推論6から、仮説が導かれる

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