「「戯れないかあるいはコンパイルするかもしくはどちらもだ」ということは間違っている」物はある
fact1: もし仮にあの千日手が戯れるならこの蒼龍は戯れない fact2: もしも「あの千日手はコンパイルする」ということは成り立てば「この蒼龍は戯れないかコンパイルする」ということは成り立たない fact3: もしもこの蒼龍は戯れるなら「あの千日手はコンパイルしないかそれは戯れるかまたはどちらもである」ということは誤りだ fact4: 「「戯れるかあるいはコンパイルするか両方である」ということは嘘である」ものはある fact5: 「「交換機でないか期し難いかあるいは両方ともだ」ということは誤っている」ものはある fact6: 「コンパイルしない」物はある fact7: もしあの千日手が同年輩だとしたらコンパイルする fact8: もし仮にあの千日手はコンパイルすれば「この蒼龍は同年輩でないかまたはそれはコンパイルする」ということは嘘である fact9: 「「ＡＣアダプタであるかもしくは左手である」ということは誤っている」ものはある fact10: 「「同年輩だということはないかもしくはコンパイルするか両方ともである」ということは成り立たない」ものはある fact11: 「「戯れる」ということは真実である」ものはある fact12: 何らかのものは戯れないかもしくはコンパイルするかもしくはどちらもだ fact13: この蒼龍はコンパイルするということはない fact14: もし「あの千日手はコンパイルする」ということは偽でないとすると「この蒼龍はコンパイルしない」ということは事実である fact15: 「「対空ミサイルでないかあるいは有田焼きであるか両方である」ということは間違っている」ものはある fact16: 「あの千日手は同年輩である」ということは成り立つ
fact7 & fact16 -> int1: あの千日手はコンパイルする; int1 & fact2 -> int2: 「この蒼龍は戯れないかまたはコンパイルするかもしくは両方である」ということは成り立たない; int2 -> hypothesis;
$facts$ = fact1: もし仮にあの千日手が戯れるならこの蒼龍は戯れない fact2: もしも「あの千日手はコンパイルする」ということは成り立てば「この蒼龍は戯れないかコンパイルする」ということは成り立たない fact3: もしもこの蒼龍は戯れるなら「あの千日手はコンパイルしないかそれは戯れるかまたはどちらもである」ということは誤りだ fact4: 「「戯れるかあるいはコンパイルするか両方である」ということは嘘である」ものはある fact5: 「「交換機でないか期し難いかあるいは両方ともだ」ということは誤っている」ものはある fact6: 「コンパイルしない」物はある fact7: もしあの千日手が同年輩だとしたらコンパイルする fact8: もし仮にあの千日手はコンパイルすれば「この蒼龍は同年輩でないかまたはそれはコンパイルする」ということは嘘である fact9: 「「ＡＣアダプタであるかもしくは左手である」ということは誤っている」ものはある fact10: 「「同年輩だということはないかもしくはコンパイルするか両方ともである」ということは成り立たない」ものはある fact11: 「「戯れる」ということは真実である」ものはある fact12: 何らかのものは戯れないかもしくはコンパイルするかもしくはどちらもだ fact13: この蒼龍はコンパイルするということはない fact14: もし「あの千日手はコンパイルする」ということは偽でないとすると「この蒼龍はコンパイルしない」ということは事実である fact15: 「「対空ミサイルでないかあるいは有田焼きであるか両方である」ということは間違っている」ものはある fact16: 「あの千日手は同年輩である」ということは成り立つ ; $hypothesis$ = 「「戯れないかあるいはコンパイルするかもしくはどちらもだ」ということは間違っている」物はある ; $proof$ = 
fact7 & fact16 -> int1: あの千日手はコンパイルする; int1 & fact2 -> int2: 「この蒼龍は戯れないかまたはコンパイルするかもしくは両方である」ということは成り立たない; int2 -> hypothesis; __PROVED__
事実1: もし仮にあの千日手が戯れるならこの蒼龍は戯れない
事実2: もしも「あの千日手はコンパイルする」ということは成り立てば「この蒼龍は戯れないかコンパイルする」ということは成り立たない
事実3: もしもこの蒼龍は戯れるなら「あの千日手はコンパイルしないかそれは戯れるかまたはどちらもである」ということは誤りだ
事実4: 「「戯れるかあるいはコンパイルするか両方である」ということは嘘である」ものはある
事実5: 「「交換機でないか期し難いかあるいは両方ともだ」ということは誤っている」ものはある
事実6: 「コンパイルしない」物はある
事実7: もしあの千日手が同年輩だとしたらコンパイルする
事実8: もし仮にあの千日手はコンパイルすれば「この蒼龍は同年輩でないかまたはそれはコンパイルする」ということは嘘である
事実9: 「「ＡＣアダプタであるかもしくは左手である」ということは誤っている」ものはある
事実10: 「「同年輩だということはないかもしくはコンパイルするか両方ともである」ということは成り立たない」ものはある
事実11: 「「戯れる」ということは真実である」ものはある
事実12: 何らかのものは戯れないかもしくはコンパイルするかもしくはどちらもだ
事実13: この蒼龍はコンパイルするということはない
事実14: もし「あの千日手はコンパイルする」ということは偽でないとすると「この蒼龍はコンパイルしない」ということは事実である
事実15: 「「対空ミサイルでないかあるいは有田焼きであるか両方である」ということは間違っている」ものはある
事実16: 「あの千日手は同年輩である」ということは成り立つ

仮説: 「「戯れないかあるいはコンパイルするかもしくはどちらもだ」ということは間違っている」物はある
1. 事実7と事実16から、推論1: "あの千日手はコンパイルする"が導かれる
2. 推論1と事実2から、推論2: "「この蒼龍は戯れないかまたはコンパイルするかもしくは両方である」ということは成り立たない"が導かれる
3. 推論2から、仮説が導かれる

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