あの目的は浅ましいけどそれは初当選しない
fact1: 「あの目的は失業でないししかも浅ましいということはない」ということは正しいということはない fact2: もし何らかのものが初当選しないならそれは宣誓書であるということはないし加えてそれは纏まり易くない fact3: あの目的は宣誓書でなくてそれに初当選しない fact4: もしもなんらかのものは宣誓書であるならば「浅ましいがしかし初当選しない」ということは成り立たない fact5: もし仮に「あの目的は失業でなくて更にそれは浅ましくない」ということは事実と異なるなら浅ましい
fact3 -> int1: あの目的は初当選しない; fact1 & fact5 -> int2: あの目的は浅ましい; int1 & int2 -> hypothesis;
fact3 -> int1: ¬{B}{a}; fact1 & fact5 -> int2: {C}{a}; int1 & int2 -> hypothesis;
そのレコード表示は宣誓書でなくて纏まり易くない
fact6 -> int3: もし仮にそのレコード表示が初当選しないならば宣誓書でなくて更に纏まり易くない;
$facts$ = fact1: 「あの目的は失業でないししかも浅ましいということはない」ということは正しいということはない fact2: もし何らかのものが初当選しないならそれは宣誓書であるということはないし加えてそれは纏まり易くない fact3: あの目的は宣誓書でなくてそれに初当選しない fact4: もしもなんらかのものは宣誓書であるならば「浅ましいがしかし初当選しない」ということは成り立たない fact5: もし仮に「あの目的は失業でなくて更にそれは浅ましくない」ということは事実と異なるなら浅ましい ; $hypothesis$ = あの目的は浅ましいけどそれは初当選しない ; $proof$ = 
fact3 -> int1: あの目的は初当選しない; fact1 & fact5 -> int2: あの目的は浅ましい; int1 & int2 -> hypothesis; __PROVED__
事実1: 「あの目的は失業でないししかも浅ましいということはない」ということは正しいということはない
事実2: もし何らかのものが初当選しないならそれは宣誓書であるということはないし加えてそれは纏まり易くない
事実3: あの目的は宣誓書でなくてそれに初当選しない
事実4: もしもなんらかのものは宣誓書であるならば「浅ましいがしかし初当選しない」ということは成り立たない
事実5: もし仮に「あの目的は失業でなくて更にそれは浅ましくない」ということは事実と異なるなら浅ましい

仮説: あの目的は浅ましいけどそれは初当選しない
1. 事実3から、推論1: "あの目的は初当選しない"が導かれる
2. 事実1と事実5から、推論2: "あの目的は浅ましい"が導かれる
3. 推論1と推論2から、仮説が導かれる

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