その結了は教え込まないけどそれは聞き易い
fact1: あの経済自由人は交換する fact2: もしある物は聞き易くないなら「それは通称するがしかし交換しない」ということは成り立たない fact3: 仮にその結了が交換するとしたらそれは通称しない fact4: 「あの静太夫は聞き易い」ということは本当だ fact5: その結了は聞き易い fact6: 仮にその結了が通称しないとすると教え込むということはない fact7: その結了は交換する
fact3 & fact7 -> int1: その結了は通称しない; int1 & fact6 -> int2: その結了は教え込まない; int2 & fact5 -> hypothesis;
fact3 & fact7 -> int1: ¬{B}{a}; int1 & fact6 -> int2: ¬{C}{a}; int2 & fact5 -> hypothesis;
この現代日本人は教え込まない
fact8 -> int3: もしその結了は聞き易くないとすると「通称するしそれは交換するということはない」ということは間違っている;
$facts$ = fact1: あの経済自由人は交換する fact2: もしある物は聞き易くないなら「それは通称するがしかし交換しない」ということは成り立たない fact3: 仮にその結了が交換するとしたらそれは通称しない fact4: 「あの静太夫は聞き易い」ということは本当だ fact5: その結了は聞き易い fact6: 仮にその結了が通称しないとすると教え込むということはない fact7: その結了は交換する ; $hypothesis$ = その結了は教え込まないけどそれは聞き易い ; $proof$ = 
fact3 & fact7 -> int1: その結了は通称しない; int1 & fact6 -> int2: その結了は教え込まない; int2 & fact5 -> hypothesis; __PROVED__
事実1: あの経済自由人は交換する
事実2: もしある物は聞き易くないなら「それは通称するがしかし交換しない」ということは成り立たない
事実3: 仮にその結了が交換するとしたらそれは通称しない
事実4: 「あの静太夫は聞き易い」ということは本当だ
事実5: その結了は聞き易い
事実6: 仮にその結了が通称しないとすると教え込むということはない
事実7: その結了は交換する

仮説: その結了は教え込まないけどそれは聞き易い
1. 事実3と事実7から、推論1: "その結了は通称しない"が導かれる
2. 推論1と事実6から、推論2: "その結了は教え込まない"が導かれる
3. 推論2と事実5から、仮説が導かれる

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