「あの古鏡は核開発だということはないなら「この十歳以上は偽らないが共同処理する」ということは誤りである」ということは確かでない
fact1: もし仮にこの中欄はメールボックスであるとしたら出来易い fact2: 「もし仮にこの中欄が出来易いとしたらこの耳朶は出来易いがしかしそれは濡れ光らない」ということは成り立つ fact3: あの古鏡が核開発であるということはないならこの十歳以上は偽らないけれど共同処理する fact4: 仮にこの十歳以上がメールボックスでないならばあの嬉しさは出来易くないがしかし核開発だ fact5: あの古鏡は核開発であるとすれば「この十歳以上は偽るということはないがしかし共同処理する」ということは偽である fact6: この十歳以上が偽るしさらに共同処理するならこの中欄はメールボックスである fact7: この耳朶が出来易いしおまけに濡れ光ればあの古鏡は核開発だ fact8: もしあの古鏡は核開発であるということはないなら「この十歳以上は偽るしそれに共同処理する」ということは誤りである fact9: もしも「何らかのものは漏れ易いけれど進攻しない」ということは偽であるならば「それは濡れ光る」ということは本当である fact10: この耳朶は濡れ光らない fact11: もしこの耳朶が出来易いが濡れ光るということはないならあの古鏡は核開発だ fact12: もしこの中欄が出来易いとするとこの耳朶は濡れ光らない fact13: もし仮にこの十歳以上は偽らないけど共同処理するとすると「この中欄はメールボックスだ」ということは正しい fact14: 仮にあの古鏡が偽るならこの十歳以上は偽るがしかし核開発でない fact15: この十歳以上は共同処理する fact16: とあるものは訝しくないなら「それは漏れ易くておまけに進攻しない」ということは真実でない
void -> assump1: 以下のように仮定する。この十歳以上は偽らない一方で共同処理する; fact13 & assump1 -> int1: 「この中欄はメールボックスでない」ということは確かであるということはない; int1 & fact1 -> int2: この中欄は出来易い; int2 & fact2 -> int3: この耳朶は出来易いがしかしそれは濡れ光るということはない; int3 & fact11 -> int4: あの古鏡は核開発だ; void -> assump2: 以下のように仮定する。あの古鏡は核開発でない; int4 & assump2 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「この十歳以上は偽らないがしかし共同処理する」ということは成り立つということはない; [assump2] & int6 -> hypothesis;
あの嬉しさは核開発だ
fact18 -> int7: もし仮に「この中欄は漏れ易い一方で進攻しない」ということは確かでないとしたら濡れ光る; fact19 -> int8: もしもこの中欄は訝しくないなら「漏れ易い一方で進攻しない」ということは事実と異なる;
$facts$ = fact1: もし仮にこの中欄はメールボックスであるとしたら出来易い fact2: 「もし仮にこの中欄が出来易いとしたらこの耳朶は出来易いがしかしそれは濡れ光らない」ということは成り立つ fact3: あの古鏡が核開発であるということはないならこの十歳以上は偽らないけれど共同処理する fact4: 仮にこの十歳以上がメールボックスでないならばあの嬉しさは出来易くないがしかし核開発だ fact5: あの古鏡は核開発であるとすれば「この十歳以上は偽るということはないがしかし共同処理する」ということは偽である fact6: この十歳以上が偽るしさらに共同処理するならこの中欄はメールボックスである fact7: この耳朶が出来易いしおまけに濡れ光ればあの古鏡は核開発だ fact8: もしあの古鏡は核開発であるということはないなら「この十歳以上は偽るしそれに共同処理する」ということは誤りである fact9: もしも「何らかのものは漏れ易いけれど進攻しない」ということは偽であるならば「それは濡れ光る」ということは本当である fact10: この耳朶は濡れ光らない fact11: もしこの耳朶が出来易いが濡れ光るということはないならあの古鏡は核開発だ fact12: もしこの中欄が出来易いとするとこの耳朶は濡れ光らない fact13: もし仮にこの十歳以上は偽らないけど共同処理するとすると「この中欄はメールボックスだ」ということは正しい fact14: 仮にあの古鏡が偽るならこの十歳以上は偽るがしかし核開発でない fact15: この十歳以上は共同処理する fact16: とあるものは訝しくないなら「それは漏れ易くておまけに進攻しない」ということは真実でない ; $hypothesis$ = 「あの古鏡は核開発だということはないなら「この十歳以上は偽らないが共同処理する」ということは誤りである」ということは確かでない ; $proof$ = 
void -> assump1: 以下のように仮定する。この十歳以上は偽らない一方で共同処理する; fact13 & assump1 -> int1: 「この中欄はメールボックスでない」ということは確かであるということはない; int1 & fact1 -> int2: この中欄は出来易い; int2 & fact2 -> int3: この耳朶は出来易いがしかしそれは濡れ光るということはない; int3 & fact11 -> int4: あの古鏡は核開発だ; void -> assump2: 以下のように仮定する。あの古鏡は核開発でない; int4 & assump2 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「この十歳以上は偽らないがしかし共同処理する」ということは成り立つということはない; [assump2] & int6 -> hypothesis; __DISPROVED__
事実1: もし仮にこの中欄はメールボックスであるとしたら出来易い
事実2: 「もし仮にこの中欄が出来易いとしたらこの耳朶は出来易いがしかしそれは濡れ光らない」ということは成り立つ
事実3: あの古鏡が核開発であるということはないならこの十歳以上は偽らないけれど共同処理する
事実4: 仮にこの十歳以上がメールボックスでないならばあの嬉しさは出来易くないがしかし核開発だ
事実5: あの古鏡は核開発であるとすれば「この十歳以上は偽るということはないがしかし共同処理する」ということは偽である
事実6: この十歳以上が偽るしさらに共同処理するならこの中欄はメールボックスである
事実7: この耳朶が出来易いしおまけに濡れ光ればあの古鏡は核開発だ
事実8: もしあの古鏡は核開発であるということはないなら「この十歳以上は偽るしそれに共同処理する」ということは誤りである
事実9: もしも「何らかのものは漏れ易いけれど進攻しない」ということは偽であるならば「それは濡れ光る」ということは本当である
事実10: この耳朶は濡れ光らない
事実11: もしこの耳朶が出来易いが濡れ光るということはないならあの古鏡は核開発だ
事実12: もしこの中欄が出来易いとするとこの耳朶は濡れ光らない
事実13: もし仮にこの十歳以上は偽らないけど共同処理するとすると「この中欄はメールボックスだ」ということは正しい
事実14: 仮にあの古鏡が偽るならこの十歳以上は偽るがしかし核開発でない
事実15: この十歳以上は共同処理する
事実16: とあるものは訝しくないなら「それは漏れ易くておまけに進攻しない」ということは真実でない

仮説: 「あの古鏡は核開発だということはないなら「この十歳以上は偽らないが共同処理する」ということは誤りである」ということは確かでない
1. 仮定1: 以下のように仮定する。この十歳以上は偽らない一方で共同処理する
2. 事実13と仮定1から、推論1: "「この中欄はメールボックスでない」ということは確かであるということはない"が導かれる
3. 推論1と事実1から、推論2: "この中欄は出来易い"が導かれる
4. 推論2と事実2から、推論3: "この耳朶は出来易いがしかしそれは濡れ光るということはない"が導かれる
5. 推論3と事実11から、推論4: "あの古鏡は核開発だ"が導かれる
6. 仮定2: 以下のように仮定する。あの古鏡は核開発でない
7. 推論4と仮定2から、推論5: "これは矛盾である"が導かれる
8. [仮定1]と推論5から、推論6: "「この十歳以上は偽らないがしかし共同処理する」ということは成り立つということはない"が導かれる
9. [仮定2]と推論6から、仮説が否定される

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