あの連邦公報は登城する
fact1: あの常勤は鋭くない fact2: その経済的成功は鋭い fact3: その経済的成功は認め難くてそれはサプライチェーン経営である fact4: もしも「「その経済的成功は認め難いしかつサプライチェーン経営だ」ということは成り立たない」ということは成り立てばノーマルステッププレートでない fact5: 鋭くない物は登城するしさらに吏員だ fact6: その経済的成功は出願後だ fact7: 鋭いということはないものは吏員であるしさらに登城する fact8: もし「その経済的成功は登城するけど鋭くない」ということは嘘であるならあの連邦公報は吏員でない fact9: 「もし仮にその経済的成功が物質面でないならばその経済的成功は登城するし吏員である」ということは成り立つ fact10: この一プラスは吏員だということはない fact11: もし仮にその経済的成功が吏員でないならばあの連邦公報は登城しない fact12: もし仮にあのイタリア知識人は返りらしくないならば「その経済的成功が認め難いしその上サプライチェーン経営である」ということは誤りである fact13: あの連邦公報は吏員でない fact14: 仮にその経済的成功が出願後であるがしかしそれがノーマルステッププレートでないとしたらあの連邦公報はノーマルステッププレートだということはない fact15: ノーマルステッププレートは出願後でないならばそれは物質面であるということはない fact16: 出願後はノーマルステッププレートであるけど物質面でない fact17: 仮に何かはノーマルステッププレートでないとすれば鋭くないし物質面だ fact18: 「その経済的成功は吏員だがしかし鋭いということはない」ということは成り立たないならばあの連邦公報は登城しない fact19: もし「その経済的成功は鋭いけど登城しない」ということは成り立たないならあの連邦公報は吏員だということはない fact20: その経済的成功が認め難いならそれは出願後だ fact21: その経済的成功は吏員である fact22: あの連邦公報は認め難い
void -> assump1: 以下のように仮定する。その経済的成功は吏員であるけど鋭くない; assump1 -> int1: その経済的成功は鋭くない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「「その経済的成功は吏員だけれどそれは鋭くない」ということは誤りだ」ということは偽でない; int3 & fact18 -> hypothesis;
あの連邦公報は登城する
fact26 -> int4: もしもあの連邦公報が鋭くないとすると吏員であるししかも登城する; fact23 -> int5: もしもその経済的成功が出願後ならそれはノーマルステッププレートであるし物質面でない; fact25 -> int6: その経済的成功は認め難い; fact24 & int6 -> int7: その経済的成功は出願後だ; int5 & int7 -> int8: その経済的成功がノーマルステッププレートだけど物質面でない; int8 -> int9: なにかはノーマルステッププレートだ一方で物質面でない;
$facts$ = fact1: あの常勤は鋭くない fact2: その経済的成功は鋭い fact3: その経済的成功は認め難くてそれはサプライチェーン経営である fact4: もしも「「その経済的成功は認め難いしかつサプライチェーン経営だ」ということは成り立たない」ということは成り立てばノーマルステッププレートでない fact5: 鋭くない物は登城するしさらに吏員だ fact6: その経済的成功は出願後だ fact7: 鋭いということはないものは吏員であるしさらに登城する fact8: もし「その経済的成功は登城するけど鋭くない」ということは嘘であるならあの連邦公報は吏員でない fact9: 「もし仮にその経済的成功が物質面でないならばその経済的成功は登城するし吏員である」ということは成り立つ fact10: この一プラスは吏員だということはない fact11: もし仮にその経済的成功が吏員でないならばあの連邦公報は登城しない fact12: もし仮にあのイタリア知識人は返りらしくないならば「その経済的成功が認め難いしその上サプライチェーン経営である」ということは誤りである fact13: あの連邦公報は吏員でない fact14: 仮にその経済的成功が出願後であるがしかしそれがノーマルステッププレートでないとしたらあの連邦公報はノーマルステッププレートだということはない fact15: ノーマルステッププレートは出願後でないならばそれは物質面であるということはない fact16: 出願後はノーマルステッププレートであるけど物質面でない fact17: 仮に何かはノーマルステッププレートでないとすれば鋭くないし物質面だ fact18: 「その経済的成功は吏員だがしかし鋭いということはない」ということは成り立たないならばあの連邦公報は登城しない fact19: もし「その経済的成功は鋭いけど登城しない」ということは成り立たないならあの連邦公報は吏員だということはない fact20: その経済的成功が認め難いならそれは出願後だ fact21: その経済的成功は吏員である fact22: あの連邦公報は認め難い ; $hypothesis$ = あの連邦公報は登城する ; $proof$ = 
void -> assump1: 以下のように仮定する。その経済的成功は吏員であるけど鋭くない; assump1 -> int1: その経済的成功は鋭くない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「「その経済的成功は吏員だけれどそれは鋭くない」ということは誤りだ」ということは偽でない; int3 & fact18 -> hypothesis; __DISPROVED__
事実1: あの常勤は鋭くない
事実2: その経済的成功は鋭い
事実3: その経済的成功は認め難くてそれはサプライチェーン経営である
事実4: もしも「「その経済的成功は認め難いしかつサプライチェーン経営だ」ということは成り立たない」ということは成り立てばノーマルステッププレートでない
事実5: 鋭くない物は登城するしさらに吏員だ
事実6: その経済的成功は出願後だ
事実7: 鋭いということはないものは吏員であるしさらに登城する
事実8: もし「その経済的成功は登城するけど鋭くない」ということは嘘であるならあの連邦公報は吏員でない
事実9: 「もし仮にその経済的成功が物質面でないならばその経済的成功は登城するし吏員である」ということは成り立つ
事実10: この一プラスは吏員だということはない
事実11: もし仮にその経済的成功が吏員でないならばあの連邦公報は登城しない
事実12: もし仮にあのイタリア知識人は返りらしくないならば「その経済的成功が認め難いしその上サプライチェーン経営である」ということは誤りである
事実13: あの連邦公報は吏員でない
事実14: 仮にその経済的成功が出願後であるがしかしそれがノーマルステッププレートでないとしたらあの連邦公報はノーマルステッププレートだということはない
事実15: ノーマルステッププレートは出願後でないならばそれは物質面であるということはない
事実16: 出願後はノーマルステッププレートであるけど物質面でない
事実17: 仮に何かはノーマルステッププレートでないとすれば鋭くないし物質面だ
事実18: 「その経済的成功は吏員だがしかし鋭いということはない」ということは成り立たないならばあの連邦公報は登城しない
事実19: もし「その経済的成功は鋭いけど登城しない」ということは成り立たないならあの連邦公報は吏員だということはない
事実20: その経済的成功が認め難いならそれは出願後だ
事実21: その経済的成功は吏員である
事実22: あの連邦公報は認め難い

仮説: あの連邦公報は登城する
1. 仮定1: 以下のように仮定する。その経済的成功は吏員であるけど鋭くない
2. 仮定1から、推論1: "その経済的成功は鋭くない"が導かれる
3. 推論1と事実2から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「「その経済的成功は吏員だけれどそれは鋭くない」ということは誤りだ」ということは偽でない"が導かれる
5. 推論3と事実18から、仮説が否定される

よって、仮説が否定されました。