この共鳴音は運び掛けない
fact1: あのドアベルが乗船しないならばこの共鳴音は用い易くない fact2: もしもこの共鳴音は浅ましいかまたは書き替えるなら運び掛けない fact3: 仮に「この共鳴音は下げるけどそれは乗船しない」ということは事実と異なれば「それは示し易くない」ということは真実だ fact4: 仮にこのＳＹＮセグメントは乗船するとすれば「この共鳴音は下げるけれど乗船しない」ということは嘘だ fact5: あの非結核性抗酸菌感染は乗船する fact6: あのドアベルは表出するし用い易い fact7: 「用い易くない物は運び掛けるしその上表出する」ということは成り立つ fact8: 仮にこのＳＹＮセグメントが下げない一方でそれが乗船するとしたらあのドアベルは乗船しない fact9: 仮になにかは示し易くないとすれば「それは書き替える」ということは成り立つ fact10: 仮にあのドアベルが用い易いとしたらこのＳＹＮセグメントは乗船する
fact6 -> int1: あのドアベルは用い易い; int1 & fact10 -> int2: このＳＹＮセグメントは乗船する; int2 & fact4 -> int3: 「この共鳴音は下げる一方で乗船しない」ということは成り立たない; int3 & fact3 -> int4: この共鳴音は示し易くない; fact9 -> int5: もしもこの共鳴音が示し易くないとしたらそれは書き替える; int4 & int5 -> int6: この共鳴音は書き替える; int6 -> int7: この共鳴音は浅ましいかもしくは書き替える; int7 & fact2 -> hypothesis;
この共鳴音は運び掛ける
fact12 -> int8: 仮にこの共鳴音が用い易くないとすると運び掛けるし表出する;
$facts$ = fact1: あのドアベルが乗船しないならばこの共鳴音は用い易くない fact2: もしもこの共鳴音は浅ましいかまたは書き替えるなら運び掛けない fact3: 仮に「この共鳴音は下げるけどそれは乗船しない」ということは事実と異なれば「それは示し易くない」ということは真実だ fact4: 仮にこのＳＹＮセグメントは乗船するとすれば「この共鳴音は下げるけれど乗船しない」ということは嘘だ fact5: あの非結核性抗酸菌感染は乗船する fact6: あのドアベルは表出するし用い易い fact7: 「用い易くない物は運び掛けるしその上表出する」ということは成り立つ fact8: 仮にこのＳＹＮセグメントが下げない一方でそれが乗船するとしたらあのドアベルは乗船しない fact9: 仮になにかは示し易くないとすれば「それは書き替える」ということは成り立つ fact10: 仮にあのドアベルが用い易いとしたらこのＳＹＮセグメントは乗船する ; $hypothesis$ = この共鳴音は運び掛けない ; $proof$ = 
fact6 -> int1: あのドアベルは用い易い; int1 & fact10 -> int2: このＳＹＮセグメントは乗船する; int2 & fact4 -> int3: 「この共鳴音は下げる一方で乗船しない」ということは成り立たない; int3 & fact3 -> int4: この共鳴音は示し易くない; fact9 -> int5: もしもこの共鳴音が示し易くないとしたらそれは書き替える; int4 & int5 -> int6: この共鳴音は書き替える; int6 -> int7: この共鳴音は浅ましいかもしくは書き替える; int7 & fact2 -> hypothesis; __PROVED__
事実1: あのドアベルが乗船しないならばこの共鳴音は用い易くない
事実2: もしもこの共鳴音は浅ましいかまたは書き替えるなら運び掛けない
事実3: 仮に「この共鳴音は下げるけどそれは乗船しない」ということは事実と異なれば「それは示し易くない」ということは真実だ
事実4: 仮にこのＳＹＮセグメントは乗船するとすれば「この共鳴音は下げるけれど乗船しない」ということは嘘だ
事実5: あの非結核性抗酸菌感染は乗船する
事実6: あのドアベルは表出するし用い易い
事実7: 「用い易くない物は運び掛けるしその上表出する」ということは成り立つ
事実8: 仮にこのＳＹＮセグメントが下げない一方でそれが乗船するとしたらあのドアベルは乗船しない
事実9: 仮になにかは示し易くないとすれば「それは書き替える」ということは成り立つ
事実10: 仮にあのドアベルが用い易いとしたらこのＳＹＮセグメントは乗船する

仮説: この共鳴音は運び掛けない
1. 事実6から、推論1: "あのドアベルは用い易い"が導かれる
2. 推論1と事実10から、推論2: "このＳＹＮセグメントは乗船する"が導かれる
3. 推論2と事実4から、推論3: "「この共鳴音は下げる一方で乗船しない」ということは成り立たない"が導かれる
4. 推論3と事実3から、推論4: "この共鳴音は示し易くない"が導かれる
5. 事実9から、推論5: "もしもこの共鳴音が示し易くないとしたらそれは書き替える"が導かれる
6. 推論4と推論5から、推論6: "この共鳴音は書き替える"が導かれる
7. 推論6から、推論7: "この共鳴音は浅ましいかもしくは書き替える"が導かれる
8. 推論7と事実2から、仮説が導かれる

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