「その○○○教会はどす黒くない」ということは確かだ
fact1: もし仮にこの熱がどす黒くて加えて無しとすればあの担保不動産は苛々し易くない fact2: もしも「あの下葉は無し」ということは本当ならこの熱は無し fact3: なにかは無しないとしたらそれはどす黒くない fact4: 仮に「あの下葉はすばしこくないし蟠らない」ということは成り立つということはないなら「それは覆滅しない」ということは事実だ fact5: もしその○○○教会が現われ難くないとしたら無しない fact6: もしもこの執権は優先権でないとしたらそれはエコール・ド・パリでない fact7: 「あの特例適用条文欄は生白いがしかし作業し易くない」ということは成り立たない fact8: もしも「なんらかの物は優先権でなくて無しということはない」ということは偽であるとしたらどす黒い fact9: 生白くないものは捨象するしどす黒い fact10: もしも「あの特例適用条文欄は生白いけどそれは作業し易いということはない」ということは事実と異なるとすればあの熱は生白くない fact11: その○○○教会は優先権であるか陣取るということはないかもしくは両方である fact12: もし仮にその○○○教会が優先権であるか陣取らないかもしくは両方ともであるなら無しない fact13: あの下葉が覆滅しないとしたら無ししさらに陣取る
fact3 -> int1: その○○○教会が無しないとしたらそれはどす黒いということはない; fact12 & fact11 -> int2: その○○○教会は無しない; int1 & int2 -> hypothesis;
この担保不動産は優先権であるか苛々し易いということはないかもしくは両方だ
fact15 -> int3: この熱が生白いということはないとしたら捨象するしおまけにそれはどす黒い; fact20 & fact19 -> int4: この熱は生白くない; int3 & int4 -> int5: 「この熱は捨象するしどす黒い」ということは本当だ; int5 -> int6: この熱はどす黒い;
$facts$ = fact1: もし仮にこの熱がどす黒くて加えて無しとすればあの担保不動産は苛々し易くない fact2: もしも「あの下葉は無し」ということは本当ならこの熱は無し fact3: なにかは無しないとしたらそれはどす黒くない fact4: 仮に「あの下葉はすばしこくないし蟠らない」ということは成り立つということはないなら「それは覆滅しない」ということは事実だ fact5: もしその○○○教会が現われ難くないとしたら無しない fact6: もしもこの執権は優先権でないとしたらそれはエコール・ド・パリでない fact7: 「あの特例適用条文欄は生白いがしかし作業し易くない」ということは成り立たない fact8: もしも「なんらかの物は優先権でなくて無しということはない」ということは偽であるとしたらどす黒い fact9: 生白くないものは捨象するしどす黒い fact10: もしも「あの特例適用条文欄は生白いけどそれは作業し易いということはない」ということは事実と異なるとすればあの熱は生白くない fact11: その○○○教会は優先権であるか陣取るということはないかもしくは両方である fact12: もし仮にその○○○教会が優先権であるか陣取らないかもしくは両方ともであるなら無しない fact13: あの下葉が覆滅しないとしたら無ししさらに陣取る ; $hypothesis$ = 「その○○○教会はどす黒くない」ということは確かだ ; $proof$ = 
fact3 -> int1: その○○○教会が無しないとしたらそれはどす黒いということはない; fact12 & fact11 -> int2: その○○○教会は無しない; int1 & int2 -> hypothesis; __PROVED__
事実1: もし仮にこの熱がどす黒くて加えて無しとすればあの担保不動産は苛々し易くない
事実2: もしも「あの下葉は無し」ということは本当ならこの熱は無し
事実3: なにかは無しないとしたらそれはどす黒くない
事実4: 仮に「あの下葉はすばしこくないし蟠らない」ということは成り立つということはないなら「それは覆滅しない」ということは事実だ
事実5: もしその○○○教会が現われ難くないとしたら無しない
事実6: もしもこの執権は優先権でないとしたらそれはエコール・ド・パリでない
事実7: 「あの特例適用条文欄は生白いがしかし作業し易くない」ということは成り立たない
事実8: もしも「なんらかの物は優先権でなくて無しということはない」ということは偽であるとしたらどす黒い
事実9: 生白くないものは捨象するしどす黒い
事実10: もしも「あの特例適用条文欄は生白いけどそれは作業し易いということはない」ということは事実と異なるとすればあの熱は生白くない
事実11: その○○○教会は優先権であるか陣取るということはないかもしくは両方である
事実12: もし仮にその○○○教会が優先権であるか陣取らないかもしくは両方ともであるなら無しない
事実13: あの下葉が覆滅しないとしたら無ししさらに陣取る

仮説: 「その○○○教会はどす黒くない」ということは確かだ
1. 事実3から、推論1: "その○○○教会が無しないとしたらそれはどす黒いということはない"が導かれる
2. 事実12と事実11から、推論2: "その○○○教会は無しない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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