「あの混交は無信仰だ」ということは確かである
fact1: 「呼び易いけれど現代中国語でない」物はある fact2: もし呼び易い物が現代中国語でないとするとあの混交は無信仰だ fact3: もし仮に呼び易い物は現代中国語でないとするとそれは無信仰でない
fact1 & fact2 -> hypothesis;
fact1 & fact2 -> hypothesis;
あの混交は無信仰であるということはない
fact4 -> int1: もし仮にあの混交は呼び易いけれど現代中国語でないとしたら無信仰でない;
$facts$ = fact1: 「呼び易いけれど現代中国語でない」物はある fact2: もし呼び易い物が現代中国語でないとするとあの混交は無信仰だ fact3: もし仮に呼び易い物は現代中国語でないとするとそれは無信仰でない ; $hypothesis$ = 「あの混交は無信仰だ」ということは確かである ; $proof$ = 
fact1 & fact2 -> hypothesis; __PROVED__
事実1: 「呼び易いけれど現代中国語でない」物はある
事実2: もし呼び易い物が現代中国語でないとするとあの混交は無信仰だ
事実3: もし仮に呼び易い物は現代中国語でないとするとそれは無信仰でない

仮説: 「あの混交は無信仰だ」ということは確かである
1. 事実1と事実2から、仮説が導かれる

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