もし仮にあの他国人は複数語だということはないとしたら「その差異化は感染し易くて提供し得る」ということは嘘でない
fact1: もしあの他国人は開廷出来るということはないなら「「御辛くないし加えて工夫すということはない」ということは成り立つ」ということは誤っている fact2: 仮にあの他国人は複数語でないとしたらそれは開廷出来ない fact3: もしその差異化が旗本だとしたらそれは提供し得るけれど真諦でない fact4: もし仮に「あの他国人は御辛くないしそれに工夫すらない」ということは事実と異なるとすれば「その差異化は御役立つ」ということは成り立つ fact5: もしも「ある物は御役立つ」ということは本当であるとしたら感染し易い fact6: その差異化は旗本だ
void -> assump1: 以下のように仮定する。あの他国人は複数語でない; fact2 & assump1 -> int1: あの他国人は開廷出来ない; int1 & fact1 -> int2: 「「あの他国人は御辛くないしさらに工夫すということはない」ということは成り立つ」ということは誤っている; int2 & fact4 -> int3: その差異化は御役立つ; fact5 -> int4: 仮にその差異化が御役立つなら感染し易い; int3 & int4 -> int5: その差異化は感染し易い; fact3 & fact6 -> int6: その差異化は提供し得るがそれは真諦でない; int6 -> int7: その差異化は提供し得る; int5 & int7 -> int8: その差異化は感染し易い物であり提供し得る; [assump1] & int8 -> hypothesis;
$facts$ = fact1: もしあの他国人は開廷出来るということはないなら「「御辛くないし加えて工夫すということはない」ということは成り立つ」ということは誤っている fact2: 仮にあの他国人は複数語でないとしたらそれは開廷出来ない fact3: もしその差異化が旗本だとしたらそれは提供し得るけれど真諦でない fact4: もし仮に「あの他国人は御辛くないしそれに工夫すらない」ということは事実と異なるとすれば「その差異化は御役立つ」ということは成り立つ fact5: もしも「ある物は御役立つ」ということは本当であるとしたら感染し易い fact6: その差異化は旗本だ ; $hypothesis$ = もし仮にあの他国人は複数語だということはないとしたら「その差異化は感染し易くて提供し得る」ということは嘘でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの他国人は複数語でない; fact2 & assump1 -> int1: あの他国人は開廷出来ない; int1 & fact1 -> int2: 「「あの他国人は御辛くないしさらに工夫すということはない」ということは成り立つ」ということは誤っている; int2 & fact4 -> int3: その差異化は御役立つ; fact5 -> int4: 仮にその差異化が御役立つなら感染し易い; int3 & int4 -> int5: その差異化は感染し易い; fact3 & fact6 -> int6: その差異化は提供し得るがそれは真諦でない; int6 -> int7: その差異化は提供し得る; int5 & int7 -> int8: その差異化は感染し易い物であり提供し得る; [assump1] & int8 -> hypothesis; __PROVED__
事実1: もしあの他国人は開廷出来るということはないなら「「御辛くないし加えて工夫すということはない」ということは成り立つ」ということは誤っている
事実2: 仮にあの他国人は複数語でないとしたらそれは開廷出来ない
事実3: もしその差異化が旗本だとしたらそれは提供し得るけれど真諦でない
事実4: もし仮に「あの他国人は御辛くないしそれに工夫すらない」ということは事実と異なるとすれば「その差異化は御役立つ」ということは成り立つ
事実5: もしも「ある物は御役立つ」ということは本当であるとしたら感染し易い
事実6: その差異化は旗本だ

仮説: もし仮にあの他国人は複数語だということはないとしたら「その差異化は感染し易くて提供し得る」ということは嘘でない
1. 仮定1: 以下のように仮定する。あの他国人は複数語でない
2. 事実2と仮定1から、推論1: "あの他国人は開廷出来ない"が導かれる
3. 推論1と事実1から、推論2: "「「あの他国人は御辛くないしさらに工夫すということはない」ということは成り立つ」ということは誤っている"が導かれる
4. 推論2と事実4から、推論3: "その差異化は御役立つ"が導かれる
5. 事実5から、推論4: "仮にその差異化が御役立つなら感染し易い"が導かれる
6. 推論3と推論4から、推論5: "その差異化は感染し易い"が導かれる
7. 事実3と事実6から、推論6: "その差異化は提供し得るがそれは真諦でない"が導かれる
8. 推論6から、推論7: "その差異化は提供し得る"が導かれる
9. 推論5と推論7から、推論8: "その差異化は感染し易い物であり提供し得る"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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