このブラケットはキリスト教信者でない
fact1: 仮にその民警が欲しかないとしたら扱い易い fact2: 割れ易くない物が持ち易いということはないとしたら欲しかない fact3: あの内蔵助は水産であるし扱い易い fact4: あの内蔵助は調節し易くない fact5: もし仮にあの内蔵助が水産だしまたそれが扱い易いならこのブラケットはキリスト教信者であるということはない fact6: 仮に「「フェイスマスクであるしキリスト教信者である」ということは成り立つということはない」ものがあるとすればその民警は式神だ fact7: もし仮にとあるものは調節し易くないとすれば「それがフェイスマスクだしまたそれはキリスト教信者だ」ということは誤っている
fact5 & fact3 -> hypothesis;
fact5 & fact3 -> hypothesis;
その民警は式神であるし加えてそれは扱い易い
fact8 -> int1: あの内蔵助は調節し易くないなら「それはフェイスマスクでキリスト教信者である」ということは真実でない; int1 & fact12 -> int2: 「あの内蔵助はフェイスマスクであるし加えてキリスト教信者である」ということは成り立つということはない; int2 -> int3: 「「フェイスマスクだししかもキリスト教信者である」ということは嘘である」ものはある; int3 & fact9 -> int4: その民警は式神だ; fact10 -> int5: 仮にその民警は割れ易くなくてまた持ち易くないならそれは欲しかない;
$facts$ = fact1: 仮にその民警が欲しかないとしたら扱い易い fact2: 割れ易くない物が持ち易いということはないとしたら欲しかない fact3: あの内蔵助は水産であるし扱い易い fact4: あの内蔵助は調節し易くない fact5: もし仮にあの内蔵助が水産だしまたそれが扱い易いならこのブラケットはキリスト教信者であるということはない fact6: 仮に「「フェイスマスクであるしキリスト教信者である」ということは成り立つということはない」ものがあるとすればその民警は式神だ fact7: もし仮にとあるものは調節し易くないとすれば「それがフェイスマスクだしまたそれはキリスト教信者だ」ということは誤っている ; $hypothesis$ = このブラケットはキリスト教信者でない ; $proof$ = 
fact5 & fact3 -> hypothesis; __PROVED__
事実1: 仮にその民警が欲しかないとしたら扱い易い
事実2: 割れ易くない物が持ち易いということはないとしたら欲しかない
事実3: あの内蔵助は水産であるし扱い易い
事実4: あの内蔵助は調節し易くない
事実5: もし仮にあの内蔵助が水産だしまたそれが扱い易いならこのブラケットはキリスト教信者であるということはない
事実6: 仮に「「フェイスマスクであるしキリスト教信者である」ということは成り立つということはない」ものがあるとすればその民警は式神だ
事実7: もし仮にとあるものは調節し易くないとすれば「それがフェイスマスクだしまたそれはキリスト教信者だ」ということは誤っている

仮説: このブラケットはキリスト教信者でない
1. 事実5と事実3から、仮説が導かれる

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