この非常勤化は零線だ
fact1: 「「メキシコ人でないか地方議員であるということはない」ということは確かでない」物はある fact2: もし仮にその登録方法が説き示さないならその離心性は満足するししかも正しい fact3: この非常勤化は電子メールアドレスでない fact4: もしもこの非常勤化が電子メールアドレスでないならそれは毒しなくて発症する fact5: もしなにかは毒するということはないがそれが発症するならそれは零線だ
fact5 -> int1: もしもこの非常勤化は毒しないけど発症するとすると「零線である」ということは本当だ; fact4 & fact3 -> int2: この非常勤化は毒しないがしかし発症する; int1 & int2 -> hypothesis;
この非常勤化は零線でない
$facts$ = fact1: 「「メキシコ人でないか地方議員であるということはない」ということは確かでない」物はある fact2: もし仮にその登録方法が説き示さないならその離心性は満足するししかも正しい fact3: この非常勤化は電子メールアドレスでない fact4: もしもこの非常勤化が電子メールアドレスでないならそれは毒しなくて発症する fact5: もしなにかは毒するということはないがそれが発症するならそれは零線だ ; $hypothesis$ = この非常勤化は零線だ ; $proof$ = 
fact5 -> int1: もしもこの非常勤化は毒しないけど発症するとすると「零線である」ということは本当だ; fact4 & fact3 -> int2: この非常勤化は毒しないがしかし発症する; int1 & int2 -> hypothesis; __PROVED__
事実1: 「「メキシコ人でないか地方議員であるということはない」ということは確かでない」物はある
事実2: もし仮にその登録方法が説き示さないならその離心性は満足するししかも正しい
事実3: この非常勤化は電子メールアドレスでない
事実4: もしもこの非常勤化が電子メールアドレスでないならそれは毒しなくて発症する
事実5: もしなにかは毒するということはないがそれが発症するならそれは零線だ

仮説: この非常勤化は零線だ
1. 事実5から、推論1: "もしもこの非常勤化は毒しないけど発症するとすると「零線である」ということは本当だ"が導かれる
2. 事実4と事実3から、推論2: "この非常勤化は毒しないがしかし発症する"が導かれる
3. 推論1と推論2から、仮説が導かれる

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