「あの計測器管理規定は納得し難くないかまたはそれは成型条件であるかまたは両方ともである」ということは成り立たない
fact1: あの計測器管理規定は成型条件でない fact2: 仮になんらかの物はぱらつかないならば「それは納得し難くないかもしくは成型条件であるかまたは両方ともである」ということは正しい fact3: 「その感染兆候は調べ易いということはないかあるいは近しかあるいはどちらもだ」ということは偽であるならばその全体運は来辛いということはない fact4: 「その中性化速度は成型条件でない」ということは事実ならあの計測器管理規定は成型条件でない fact5: もし仮に「この御遺骸はぱらつくししかも来辛い」ということは誤っているならその中性化速度は成型条件であるということはない fact6: その全体運は来辛くないとすれば「「この御遺骸がぱらつくしその上それは来辛い」ということは正しい」ということは間違いである fact7: その感染兆候がにやけないし来辛くないならばあの計測器管理規定はぱらつかない fact8: その感染兆候は調べ易い fact9: もしもその中性化速度は成型条件でないならば「あの計測器管理規定は納得し難くないかあるいは成型条件であるかもしくは両方である」ということは成り立つということはない fact10: 「その感染兆候は調べ易くないか近し」ということは間違っている fact11: 「その感染兆候は調べ易いか近しかもしくは両方だ」ということは成り立たないとしたら「その全体運は来辛い」ということは間違いである
fact3 & fact10 -> int1: その全体運は来辛くない; int1 & fact6 -> int2: 「この御遺骸はぱらつくしその上来辛い」ということは成り立たない; int2 & fact5 -> int3: その中性化速度は成型条件でない; int3 & fact9 -> hypothesis;
あの計測器管理規定は納得し難くないかまたはそれは成型条件である
fact12 -> int4: もし仮にあの計測器管理規定がぱらつくということはないなら納得し難くないか成型条件であるかもしくは両方である;
$facts$ = fact1: あの計測器管理規定は成型条件でない fact2: 仮になんらかの物はぱらつかないならば「それは納得し難くないかもしくは成型条件であるかまたは両方ともである」ということは正しい fact3: 「その感染兆候は調べ易いということはないかあるいは近しかあるいはどちらもだ」ということは偽であるならばその全体運は来辛いということはない fact4: 「その中性化速度は成型条件でない」ということは事実ならあの計測器管理規定は成型条件でない fact5: もし仮に「この御遺骸はぱらつくししかも来辛い」ということは誤っているならその中性化速度は成型条件であるということはない fact6: その全体運は来辛くないとすれば「「この御遺骸がぱらつくしその上それは来辛い」ということは正しい」ということは間違いである fact7: その感染兆候がにやけないし来辛くないならばあの計測器管理規定はぱらつかない fact8: その感染兆候は調べ易い fact9: もしもその中性化速度は成型条件でないならば「あの計測器管理規定は納得し難くないかあるいは成型条件であるかもしくは両方である」ということは成り立つということはない fact10: 「その感染兆候は調べ易くないか近し」ということは間違っている fact11: 「その感染兆候は調べ易いか近しかもしくは両方だ」ということは成り立たないとしたら「その全体運は来辛い」ということは間違いである ; $hypothesis$ = 「あの計測器管理規定は納得し難くないかまたはそれは成型条件であるかまたは両方ともである」ということは成り立たない ; $proof$ = 
fact3 & fact10 -> int1: その全体運は来辛くない; int1 & fact6 -> int2: 「この御遺骸はぱらつくしその上来辛い」ということは成り立たない; int2 & fact5 -> int3: その中性化速度は成型条件でない; int3 & fact9 -> hypothesis; __PROVED__
事実1: あの計測器管理規定は成型条件でない
事実2: 仮になんらかの物はぱらつかないならば「それは納得し難くないかもしくは成型条件であるかまたは両方ともである」ということは正しい
事実3: 「その感染兆候は調べ易いということはないかあるいは近しかあるいはどちらもだ」ということは偽であるならばその全体運は来辛いということはない
事実4: 「その中性化速度は成型条件でない」ということは事実ならあの計測器管理規定は成型条件でない
事実5: もし仮に「この御遺骸はぱらつくししかも来辛い」ということは誤っているならその中性化速度は成型条件であるということはない
事実6: その全体運は来辛くないとすれば「「この御遺骸がぱらつくしその上それは来辛い」ということは正しい」ということは間違いである
事実7: その感染兆候がにやけないし来辛くないならばあの計測器管理規定はぱらつかない
事実8: その感染兆候は調べ易い
事実9: もしもその中性化速度は成型条件でないならば「あの計測器管理規定は納得し難くないかあるいは成型条件であるかもしくは両方である」ということは成り立つということはない
事実10: 「その感染兆候は調べ易くないか近し」ということは間違っている
事実11: 「その感染兆候は調べ易いか近しかもしくは両方だ」ということは成り立たないとしたら「その全体運は来辛い」ということは間違いである

仮説: 「あの計測器管理規定は納得し難くないかまたはそれは成型条件であるかまたは両方ともである」ということは成り立たない
1. 事実3と事実10から、推論1: "その全体運は来辛くない"が導かれる
2. 推論1と事実6から、推論2: "「この御遺骸はぱらつくしその上来辛い」ということは成り立たない"が導かれる
3. 推論2と事実5から、推論3: "その中性化速度は成型条件でない"が導かれる
4. 推論3と事実9から、仮説が導かれる

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