あの政策戦略は中国政府でないけれどそれは掛かり易い
fact1: この家庭礼拝が三省堂でないとしたらあの政策戦略は中国政府でない fact2: この家庭礼拝は掛かり易い fact3: もしもこの家庭礼拝が三省堂であるということはないし加えて中国政府でないならあの諸権利は三省堂でない fact4: あの政策戦略は掛かり易い fact5: この家庭礼拝は三省堂でない
fact1 & fact5 -> int1: あの政策戦略は中国政府でない; int1 & fact4 -> hypothesis;
fact1 & fact5 -> int1: ¬{B}{b}; int1 & fact4 -> hypothesis;
「あの諸権利は三省堂でない」ということは成り立つ
$facts$ = fact1: この家庭礼拝が三省堂でないとしたらあの政策戦略は中国政府でない fact2: この家庭礼拝は掛かり易い fact3: もしもこの家庭礼拝が三省堂であるということはないし加えて中国政府でないならあの諸権利は三省堂でない fact4: あの政策戦略は掛かり易い fact5: この家庭礼拝は三省堂でない ; $hypothesis$ = あの政策戦略は中国政府でないけれどそれは掛かり易い ; $proof$ = 
fact1 & fact5 -> int1: あの政策戦略は中国政府でない; int1 & fact4 -> hypothesis; __PROVED__
事実1: この家庭礼拝が三省堂でないとしたらあの政策戦略は中国政府でない
事実2: この家庭礼拝は掛かり易い
事実3: もしもこの家庭礼拝が三省堂であるということはないし加えて中国政府でないならあの諸権利は三省堂でない
事実4: あの政策戦略は掛かり易い
事実5: この家庭礼拝は三省堂でない

仮説: あの政策戦略は中国政府でないけれどそれは掛かり易い
1. 事実1と事実5から、推論1: "あの政策戦略は中国政府でない"が導かれる
2. 推論1と事実4から、仮説が導かれる

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