あのオーダーは経済対策でない
fact1: 仮に「なにかは宝王刹で集まり易い」ということは誤りなら根強くない fact2: もし何らかの物は宝王刹でないならば「あのＧツーは宝王刹で加えてそれは集まり易い」ということは成り立たない fact3: もしもなにかは締め切り日だということはないしまた近付き易くないとしたらそれは宝王刹であるということはない fact4: この豚児は経済対策でない fact5: もし仮にこの防火戸が経済対策であるとすればあのオーダーは経済対策だ fact6: あのＧツーは取り出せるかまたはそれは予約相場であるかまたは両方ともである fact7: 仮に「何らかのものは予約相場でない」ということは正しいとすると見過ごし難いかもしくは取り出せるかあるいは両方ともだ fact8: その時化は配送しない fact9: なんらかのものは取り出せるということはないならば「経済対策でないしその上見過ごし難くない」ということは間違いである fact10: その時化は宝王刹でないし根強くないとすると「あのＧツーは根強くない」ということは本当である fact11: 仮になんらかのものは抱え直さないとすると「ゼネコン企業であるし味気無い」ということは真実だ fact12: もし仮にあのＧツーが見過ごし難いとするとこの防火戸は予約相場でない fact13: もしもその時化が配送するということはないしそれにそれが止む無いということはないとすると抱え直さない fact14: 「あのＧツーは予約相場である」ということは確かだとすればこの防火戸は見過ごし難い fact15: この防火戸は伝え難くない fact16: あの悪政は締め切り日でなくてまたそれは近付き易くない fact17: その時化は止む無くない fact18: もしもあのＧツーが根強くなくてまた記録文書だということはないならこの防火戸は予約相場だということはない fact19: あのＧツーが経済対策だとすればあのオーダーは取り出せない fact20: 「もし「あのオーダーは経済対策だ」ということは真実だとしたらこの防火戸は見過ごし難くない」ということは事実である fact21: 「とあるものはゼネコン企業だ」ということは成り立つなら「「それは調和し難くてそれにそれは記録文書でない」ということは正しい」ということは成り立たない fact22: 「その時化は調和し難い一方で記録文書でない」ということは誤りならあのＧツーは記録文書でない fact23: もしもあのＧツーは取り出せれば「この防火戸は見過ごし難い」ということは本当だ fact24: 「あるものは予約相場でないかまたは記録文書でないかどちらもだ」ということは成り立たないとするとそれは取り出せるということはない
void -> assump1: 以下のように仮定する。あのオーダーは経済対策だ; fact20 & assump1 -> int1: この防火戸は見過ごし難いということはない; fact23 & fact14 & fact6 -> int2: この防火戸は見過ごし難い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact20 & assump1 -> int1: ¬{B}{b}; fact23 & fact14 & fact6 -> int2: {B}{b}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
あのオーダーは経済対策である
fact28 -> int4: もし仮にこの防火戸は取り出せるということはないならば「経済対策でなくて加えて見過ごし難いということはない」ということは成り立たない; fact26 -> int5: もし「「この防火戸は予約相場でないか記録文書でないかまたは両方ともだ」ということは本当だ」ということは成り立つということはないとすればそれは取り出せない;
$facts$ = fact1: 仮に「なにかは宝王刹で集まり易い」ということは誤りなら根強くない fact2: もし何らかの物は宝王刹でないならば「あのＧツーは宝王刹で加えてそれは集まり易い」ということは成り立たない fact3: もしもなにかは締め切り日だということはないしまた近付き易くないとしたらそれは宝王刹であるということはない fact4: この豚児は経済対策でない fact5: もし仮にこの防火戸が経済対策であるとすればあのオーダーは経済対策だ fact6: あのＧツーは取り出せるかまたはそれは予約相場であるかまたは両方ともである fact7: 仮に「何らかのものは予約相場でない」ということは正しいとすると見過ごし難いかもしくは取り出せるかあるいは両方ともだ fact8: その時化は配送しない fact9: なんらかのものは取り出せるということはないならば「経済対策でないしその上見過ごし難くない」ということは間違いである fact10: その時化は宝王刹でないし根強くないとすると「あのＧツーは根強くない」ということは本当である fact11: 仮になんらかのものは抱え直さないとすると「ゼネコン企業であるし味気無い」ということは真実だ fact12: もし仮にあのＧツーが見過ごし難いとするとこの防火戸は予約相場でない fact13: もしもその時化が配送するということはないしそれにそれが止む無いということはないとすると抱え直さない fact14: 「あのＧツーは予約相場である」ということは確かだとすればこの防火戸は見過ごし難い fact15: この防火戸は伝え難くない fact16: あの悪政は締め切り日でなくてまたそれは近付き易くない fact17: その時化は止む無くない fact18: もしもあのＧツーが根強くなくてまた記録文書だということはないならこの防火戸は予約相場だということはない fact19: あのＧツーが経済対策だとすればあのオーダーは取り出せない fact20: 「もし「あのオーダーは経済対策だ」ということは真実だとしたらこの防火戸は見過ごし難くない」ということは事実である fact21: 「とあるものはゼネコン企業だ」ということは成り立つなら「「それは調和し難くてそれにそれは記録文書でない」ということは正しい」ということは成り立たない fact22: 「その時化は調和し難い一方で記録文書でない」ということは誤りならあのＧツーは記録文書でない fact23: もしもあのＧツーは取り出せれば「この防火戸は見過ごし難い」ということは本当だ fact24: 「あるものは予約相場でないかまたは記録文書でないかどちらもだ」ということは成り立たないとするとそれは取り出せるということはない ; $hypothesis$ = あのオーダーは経済対策でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのオーダーは経済対策だ; fact20 & assump1 -> int1: この防火戸は見過ごし難いということはない; fact23 & fact14 & fact6 -> int2: この防火戸は見過ごし難い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> 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: もしもあのＧツーは取り出せれば「この防火戸は見過ごし難い」ということは本当だ
事実24: 「あるものは予約相場でないかまたは記録文書でないかどちらもだ」ということは成り立たないとするとそれは取り出せるということはない

仮説: あのオーダーは経済対策でない
1. 仮定1: 以下のように仮定する。あのオーダーは経済対策だ
2. 事実20と仮定1から、推論1: "この防火戸は見過ごし難いということはない"が導かれる
3. 事実23と事実14と事実6から、推論2: "この防火戸は見過ごし難い"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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