「「十一日判決でないかもしくは移り易い」ということは事実と異なる」ものはある
fact1: なにかは十一日判決でないかそれは移り易い fact2: もし仮にあのＰ特性条件がめぼしくないならばあのＸＭＬ文書は移り易くない fact3: 「「払い除けるということはないけど肌寒い」物があるならあのＰ特性条件はめぼしくない」ということは確かである fact4: もしも「なにかは肌寒いしその上めぼしい」ということは嘘だとすればそれは肌寒くない fact5: 「「十一日判決であるかもしくは移り易いかどちらもだ」ということは確かであるということはない」物はある fact6: 「払い除けるということはないしさらに肌寒い」物はある fact7: とある物はめぼしくない一方でそれは移り易い fact8: あのＸＭＬ文書は移り易くない fact9: あのＰ特性条件はめぼしくないとすると「あのＸＭＬ文書は十一日判決でないかそれは移り易いか両方である」ということは成り立たない fact10: 「十一日判決な」ものはある fact11: なにかは払い除けない fact12: 「移り易くない」物はある fact13: 「「めぼしくないか移り易いかあるいはどちらもだ」ということは正しくない」物はある fact14: 仮になにかは払い除けるし肌寒いならばあのＰ特性条件はめぼしくない fact15: あの麻薬問題は十一日判決でない
fact6 & fact3 -> int1: あのＰ特性条件はめぼしくない; int1 & fact9 -> int2: 「「あのＸＭＬ文書は十一日判決でないかあるいは移り易い」ということは本当だ」ということは誤りだ; int2 -> hypothesis;
その争議は肌寒くない
fact16 -> int3: もし仮に「その争議は肌寒いしめぼしい」ということは嘘であるならば「それは肌寒い」ということは成り立たない;
$facts$ = fact1: なにかは十一日判決でないかそれは移り易い fact2: もし仮にあのＰ特性条件がめぼしくないならばあのＸＭＬ文書は移り易くない fact3: 「「払い除けるということはないけど肌寒い」物があるならあのＰ特性条件はめぼしくない」ということは確かである fact4: もしも「なにかは肌寒いしその上めぼしい」ということは嘘だとすればそれは肌寒くない fact5: 「「十一日判決であるかもしくは移り易いかどちらもだ」ということは確かであるということはない」物はある fact6: 「払い除けるということはないしさらに肌寒い」物はある fact7: とある物はめぼしくない一方でそれは移り易い fact8: あのＸＭＬ文書は移り易くない fact9: あのＰ特性条件はめぼしくないとすると「あのＸＭＬ文書は十一日判決でないかそれは移り易いか両方である」ということは成り立たない fact10: 「十一日判決な」ものはある fact11: なにかは払い除けない fact12: 「移り易くない」物はある fact13: 「「めぼしくないか移り易いかあるいはどちらもだ」ということは正しくない」物はある fact14: 仮になにかは払い除けるし肌寒いならばあのＰ特性条件はめぼしくない fact15: あの麻薬問題は十一日判決でない ; $hypothesis$ = 「「十一日判決でないかもしくは移り易い」ということは事実と異なる」ものはある ; $proof$ = 
fact6 & fact3 -> int1: あのＰ特性条件はめぼしくない; int1 & fact9 -> int2: 「「あのＸＭＬ文書は十一日判決でないかあるいは移り易い」ということは本当だ」ということは誤りだ; int2 -> hypothesis; __PROVED__
事実1: なにかは十一日判決でないかそれは移り易い
事実2: もし仮にあのＰ特性条件がめぼしくないならばあのＸＭＬ文書は移り易くない
事実3: 「「払い除けるということはないけど肌寒い」物があるならあのＰ特性条件はめぼしくない」ということは確かである
事実4: もしも「なにかは肌寒いしその上めぼしい」ということは嘘だとすればそれは肌寒くない
事実5: 「「十一日判決であるかもしくは移り易いかどちらもだ」ということは確かであるということはない」物はある
事実6: 「払い除けるということはないしさらに肌寒い」物はある
事実7: とある物はめぼしくない一方でそれは移り易い
事実8: あのＸＭＬ文書は移り易くない
事実9: あのＰ特性条件はめぼしくないとすると「あのＸＭＬ文書は十一日判決でないかそれは移り易いか両方である」ということは成り立たない
事実10: 「十一日判決な」ものはある
事実11: なにかは払い除けない
事実12: 「移り易くない」物はある
事実13: 「「めぼしくないか移り易いかあるいはどちらもだ」ということは正しくない」物はある
事実14: 仮になにかは払い除けるし肌寒いならばあのＰ特性条件はめぼしくない
事実15: あの麻薬問題は十一日判決でない

仮説: 「「十一日判決でないかもしくは移り易い」ということは事実と異なる」ものはある
1. 事実6と事実3から、推論1: "あのＰ特性条件はめぼしくない"が導かれる
2. 推論1と事実9から、推論2: "「「あのＸＭＬ文書は十一日判決でないかあるいは移り易い」ということは本当だ」ということは誤りだ"が導かれる
3. 推論2から、仮説が導かれる

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