あの観察単位は間違い易くない
fact1: とある物は書き慣れるとしたら「それは実体化しないけれど合い難い」ということは成り立たない fact2: その瀬音は書き慣れる fact3: もしもその中長期計画は書き慣れれば「あの観察単位は礼拝しないけれど小競り合いである」ということは成り立たない fact4: その中長期計画は書き慣れる fact5: もし仮になにがしかのものは小競り合いでないとするとそれは間違い易くない fact6: もし「なにがしかの物は礼拝しないけど小競り合いだ」ということは真実でないなら「間違い易くない」ということは確かである
fact3 & fact4 -> int1: 「あの観察単位は礼拝しない一方で小競り合いだ」ということは成り立たない; fact6 -> int2: もし「あの観察単位は礼拝しない一方で小競り合いだ」ということは正しくないとしたら間違い易くない; int1 & int2 -> hypothesis;
「その末梢血単核細胞は実体化しないが合い難い」ということは誤りだ
fact7 -> int3: 仮にその末梢血単核細胞は書き慣れるとすると「実体化するということはなくて合い難い」ということは偽である;
$facts$ = fact1: とある物は書き慣れるとしたら「それは実体化しないけれど合い難い」ということは成り立たない fact2: その瀬音は書き慣れる fact3: もしもその中長期計画は書き慣れれば「あの観察単位は礼拝しないけれど小競り合いである」ということは成り立たない fact4: その中長期計画は書き慣れる fact5: もし仮になにがしかのものは小競り合いでないとするとそれは間違い易くない fact6: もし「なにがしかの物は礼拝しないけど小競り合いだ」ということは真実でないなら「間違い易くない」ということは確かである ; $hypothesis$ = あの観察単位は間違い易くない ; $proof$ = 
fact3 & fact4 -> int1: 「あの観察単位は礼拝しない一方で小競り合いだ」ということは成り立たない; fact6 -> int2: もし「あの観察単位は礼拝しない一方で小競り合いだ」ということは正しくないとしたら間違い易くない; int1 & int2 -> hypothesis; __PROVED__
事実1: とある物は書き慣れるとしたら「それは実体化しないけれど合い難い」ということは成り立たない
事実2: その瀬音は書き慣れる
事実3: もしもその中長期計画は書き慣れれば「あの観察単位は礼拝しないけれど小競り合いである」ということは成り立たない
事実4: その中長期計画は書き慣れる
事実5: もし仮になにがしかのものは小競り合いでないとするとそれは間違い易くない
事実6: もし「なにがしかの物は礼拝しないけど小競り合いだ」ということは真実でないなら「間違い易くない」ということは確かである

仮説: あの観察単位は間違い易くない
1. 事実3と事実4から、推論1: "「あの観察単位は礼拝しない一方で小競り合いだ」ということは成り立たない"が導かれる
2. 事実6から、推論2: "もし「あの観察単位は礼拝しない一方で小競り合いだ」ということは正しくないとしたら間違い易くない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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