あの当該国家は三世紀初頭でない
fact1: もしもその工業部門は三世紀初頭であるとするとあの当該国家はなあくない fact2: 暴行・脅迫は三世紀初頭だ fact3: 仮にその工業部門は三世紀初頭なら「あの当該国家は三世紀初頭でなくてそれになあいということはない」ということは本当だ fact4: もし「暴行・脅迫であるかあるいはなあいということはない」ものがあればあの被上告人は三世紀初頭である fact5: 全てのものは暴行・脅迫であるかもしくは対応しない fact6: その工業部門は三世紀初頭であるかまたはなあくないかもしくは両方だ fact7: あの被上告人は腹黒くない fact8: 「三世紀初頭であるかあるいは暴行・脅迫であるかあるいはどちらもな」物はある fact9: 理解し辛いものはなあい fact10: 何らかの物は暴行・脅迫であるか三世紀初頭だ fact11: 仮にこの前掲大判明が重ね合わせばあの予備車は重ね合わす fact12: 「あの射出瞳は来難いということはない一方で御答え頂く」ということは成り立たない fact13: なにがしかの物が暴行・脅迫であるかまたは対応しないかどちらもであるとしたらその工業部門は三世紀初頭である fact14: もしも「暴行・脅迫な」物があるとすればその工業部門は三世紀初頭だ fact15: あの当該国家はなあくない fact16: なにがしかのものが来難いならば理解し辛い fact17: 仮に何かはなあいとするとその罪刑法定主義は重ね合わすかあるいはそれは足せるかどちらもである fact18: あの予備車は重ね合わすとすると「その工業部門は対応しないけど暴行・脅迫である」ということは成り立たない fact19: もしもその罪刑法定主義が重ね合わせばこの前掲大判明は重ね合わす fact20: 「対応するかもしくは三世紀初頭でないかもしくは両方な」物はあるとすれば「あの被上告人はなあい」ということは本当だ fact21: もし仮に「「来難くないがしかし御答え頂く」ということは嘘な」物があるとしたらあのソーサーは来難い
fact5 -> int1: あの被上告人は暴行・脅迫であるかもしくは対応しないか両方ともである; int1 -> int2: ある物は暴行・脅迫であるかもしくは対応しない; int2 & fact13 -> int3: 「その工業部門は三世紀初頭だ」ということは本当だ; int3 & fact3 -> int4: あの当該国家は三世紀初頭でなくてそれはなあいということはない; int4 -> hypothesis;
あの当該国家は三世紀初頭だ
fact27 -> int5: もしあの当該国家が暴行・脅迫だとすれば三世紀初頭である; fact30 -> int6: 「「あのソーサーは理解し辛い」ということは事実だとしたらあのソーサーはなあい」ということは成り立つ; fact22 -> int7: もし「あのソーサーは来難い」ということは本当ならそれは理解し辛い; fact23 -> int8: 「「来難くないし御答え頂く」ということは嘘である」ものはある; int8 & fact28 -> int9: あのソーサーは来難い; int7 & int9 -> int10: あのソーサーは理解し辛い; int6 & int10 -> int11: あのソーサーはなあい; int11 -> int12: 「なあい」物はある; int12 & fact26 -> int13: その罪刑法定主義は重ね合わすかあるいは足せるかまたは両方ともである;
$facts$ = fact1: もしもその工業部門は三世紀初頭であるとするとあの当該国家はなあくない fact2: 暴行・脅迫は三世紀初頭だ fact3: 仮にその工業部門は三世紀初頭なら「あの当該国家は三世紀初頭でなくてそれになあいということはない」ということは本当だ fact4: もし「暴行・脅迫であるかあるいはなあいということはない」ものがあればあの被上告人は三世紀初頭である fact5: 全てのものは暴行・脅迫であるかもしくは対応しない fact6: その工業部門は三世紀初頭であるかまたはなあくないかもしくは両方だ fact7: あの被上告人は腹黒くない fact8: 「三世紀初頭であるかあるいは暴行・脅迫であるかあるいはどちらもな」物はある fact9: 理解し辛いものはなあい fact10: 何らかの物は暴行・脅迫であるか三世紀初頭だ fact11: 仮にこの前掲大判明が重ね合わせばあの予備車は重ね合わす fact12: 「あの射出瞳は来難いということはない一方で御答え頂く」ということは成り立たない fact13: なにがしかの物が暴行・脅迫であるかまたは対応しないかどちらもであるとしたらその工業部門は三世紀初頭である fact14: もしも「暴行・脅迫な」物があるとすればその工業部門は三世紀初頭だ fact15: あの当該国家はなあくない fact16: なにがしかのものが来難いならば理解し辛い fact17: 仮に何かはなあいとするとその罪刑法定主義は重ね合わすかあるいはそれは足せるかどちらもである fact18: あの予備車は重ね合わすとすると「その工業部門は対応しないけど暴行・脅迫である」ということは成り立たない fact19: もしもその罪刑法定主義が重ね合わせばこの前掲大判明は重ね合わす fact20: 「対応するかもしくは三世紀初頭でないかもしくは両方な」物はあるとすれば「あの被上告人はなあい」ということは本当だ fact21: もし仮に「「来難くないがしかし御答え頂く」ということは嘘な」物があるとしたらあのソーサーは来難い ; $hypothesis$ = あの当該国家は三世紀初頭でない ; $proof$ = 
fact5 -> int1: あの被上告人は暴行・脅迫であるかもしくは対応しないか両方ともである; int1 -> int2: ある物は暴行・脅迫であるかもしくは対応しない; int2 & fact13 -> int3: 「その工業部門は三世紀初頭だ」ということは本当だ; int3 & fact3 -> int4: あの当該国家は三世紀初頭でなくてそれはなあいということはない; int4 -> hypothesis; __PROVED__
事実1: もしもその工業部門は三世紀初頭であるとするとあの当該国家はなあくない
事実2: 暴行・脅迫は三世紀初頭だ
事実3: 仮にその工業部門は三世紀初頭なら「あの当該国家は三世紀初頭でなくてそれになあいということはない」ということは本当だ
事実4: もし「暴行・脅迫であるかあるいはなあいということはない」ものがあればあの被上告人は三世紀初頭である
事実5: 全てのものは暴行・脅迫であるかもしくは対応しない
事実6: その工業部門は三世紀初頭であるかまたはなあくないかもしくは両方だ
事実7: あの被上告人は腹黒くない
事実8: 「三世紀初頭であるかあるいは暴行・脅迫であるかあるいはどちらもな」物はある
事実9: 理解し辛いものはなあい
事実10: 何らかの物は暴行・脅迫であるか三世紀初頭だ
事実11: 仮にこの前掲大判明が重ね合わせばあの予備車は重ね合わす
事実12: 「あの射出瞳は来難いということはない一方で御答え頂く」ということは成り立たない
事実13: なにがしかの物が暴行・脅迫であるかまたは対応しないかどちらもであるとしたらその工業部門は三世紀初頭である
事実14: もしも「暴行・脅迫な」物があるとすればその工業部門は三世紀初頭だ
事実15: あの当該国家はなあくない
事実16: なにがしかのものが来難いならば理解し辛い
事実17: 仮に何かはなあいとするとその罪刑法定主義は重ね合わすかあるいはそれは足せるかどちらもである
事実18: あの予備車は重ね合わすとすると「その工業部門は対応しないけど暴行・脅迫である」ということは成り立たない
事実19: もしもその罪刑法定主義が重ね合わせばこの前掲大判明は重ね合わす
事実20: 「対応するかもしくは三世紀初頭でないかもしくは両方な」物はあるとすれば「あの被上告人はなあい」ということは本当だ
事実21: もし仮に「「来難くないがしかし御答え頂く」ということは嘘な」物があるとしたらあのソーサーは来難い

仮説: あの当該国家は三世紀初頭でない
1. 事実5から、推論1: "あの被上告人は暴行・脅迫であるかもしくは対応しないか両方ともである"が導かれる
2. 推論1から、推論2: "ある物は暴行・脅迫であるかもしくは対応しない"が導かれる
3. 推論2と事実13から、推論3: "「その工業部門は三世紀初頭だ」ということは本当だ"が導かれる
4. 推論3と事実3から、推論4: "あの当該国家は三世紀初頭でなくてそれはなあいということはない"が導かれる
5. 推論4から、仮説が導かれる

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