「そのプログラムファイルは五節句でそれに貴金属店だ」ということは誤りである
fact1: もし仮にそのプログラムファイルはツベルクリン反応でないとしたら「五節句でまた貴金属店である」ということは成り立たない fact2: もしもそのプログラムファイルが調理出来ないとしたらその果実中は調理出来る fact3: この心構えは五節句でない fact4: なにがしかの物はキリスト教精神でないならばそれは詰まり易い fact5: そのプログラムファイルは封じ込めない fact6: そのＬＤＬは封じ込める fact7: もしそのプログラムファイルはツベルクリン反応であるならそれは調理出来ない fact8: もしも「この一項本文は調理出来ない」ということは事実だとすると「ツベルクリン反応だということはないかまたはそれはちゃう」ということは間違いだ fact9: 仮に「その果実中は調理出来るかもしくはそれは封じ込めるかもしくは両方ともだ」ということは成り立たないとすると「そのＬＤＬは狙われ易い」ということは確かだ fact10: そのＬＤＬは狙われ易くない fact11: もしもその果実中が交代しないけれど詰まり易いとしたらそのプログラムファイルは狙われ易くない fact12: その果実中は調理出来る fact13: この優先規則は来店しないかまたはそれはコピーライトだ fact14: もし仮にそのプログラムファイルは調理出来ないとすると「その果実中は調理出来ないかもしくは封じ込めるかどちらもである」ということは本当でない fact15: 仮に「その果実中は貴金属店でない」ということは真実ならばあのプログラムファイルは調理出来ない fact16: そのプログラムファイルは狙われ易くない fact17: そのＬＤＬはツベルクリン反応でない fact18: 仮にこの優先規則が来店しないかもしくはコピーライトであるかあるいは両方だとしたらその果実中はキリスト教精神でない fact19: そのプログラムファイルは持ち堪える fact20: 「その果実中は調理出来ないかあるいは封じ込めるかどちらもである」ということは成り立たないとしたらそのＬＤＬは狙われ易い fact21: もしもその果実中は五節句であるならば封じ込めない fact22: その果実中は交代しない
void -> assump1: 以下のように仮定する。そのプログラムファイルはツベルクリン反応である; fact7 & assump1 -> int1: そのプログラムファイルは調理出来ない; int1 & fact14 -> int2: 「その果実中は調理出来ないかまたは封じ込めるかあるいはどちらもだ」ということは正しいということはない; int2 & fact20 -> int3: 「そのＬＤＬは狙われ易い」ということは成り立つ; int3 & fact10 -> int4: これは矛盾である; [assump1] & int4 -> int5: そのプログラムファイルはツベルクリン反応でない; int5 & fact1 -> hypothesis;
そのプログラムファイルは五節句だしかつ貴金属店である
fact26 -> int6: 「もしもその果実中がキリスト教精神であるということはないとするとその果実中は詰まり易い」ということは事実である; fact23 & fact28 -> int7: その果実中はキリスト教精神でない; int6 & int7 -> int8: 「その果実中は詰まり易い」ということは成り立つ; fact25 & int8 -> int9: その果実中は交代するということはないが詰まり易い; fact27 & int9 -> int10: そのプログラムファイルは狙われ易くない; fact24 -> int11: 「封じ込める」ものはある;
$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: 以下のように仮定する。そのプログラムファイルはツベルクリン反応である; fact7 & assump1 -> int1: そのプログラムファイルは調理出来ない; int1 & fact14 -> int2: 「その果実中は調理出来ないかまたは封じ込めるかあるいはどちらもだ」ということは正しいということはない; int2 & fact20 -> int3: 「そのＬＤＬは狙われ易い」ということは成り立つ; int3 & fact10 -> int4: これは矛盾である; [assump1] & int4 -> int5: そのプログラムファイルはツベルクリン反応でない; int5 & fact1 -> hypothesis; __PROVED__
事実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. 事実7と仮定1から、推論1: "そのプログラムファイルは調理出来ない"が導かれる
3. 推論1と事実14から、推論2: "「その果実中は調理出来ないかまたは封じ込めるかあるいはどちらもだ」ということは正しいということはない"が導かれる
4. 推論2と事実20から、推論3: "「そのＬＤＬは狙われ易い」ということは成り立つ"が導かれる
5. 推論3と事実10から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "そのプログラムファイルはツベルクリン反応でない"が導かれる
7. 推論5と事実1から、仮説が導かれる

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