この書き替えは平たいということはない
fact1: もしもこの韓愈が平たくないかもしくはそれが聞き辛いか両方ともであるとすればこの書き替えは平たいということはない fact2: この書き替えは訂正手続きだ fact3: 「差異であるかもしくは勘違いし易くない」物はある fact4: なんらかの物は抜け切るということはないかあるいは掛け替えるかもしくは両方だ fact5: ある物は降伏するか移ろい易くないかもしくはどちらもだ fact6: もしとあるものが訂正手続きでないかあるいは聞き辛くないかまたは両方であるとするとこの書き替えは平たい fact7: あるものは訂正手続きでないかあるいは聞き辛くない fact8: もし仮に「「聞き辛くない」ということは事実な」物があればこの書き替えは平たい
fact7 & fact6 -> hypothesis;
fact7 & fact6 -> hypothesis;
この書き替えは平たくない
$facts$ = fact1: もしもこの韓愈が平たくないかもしくはそれが聞き辛いか両方ともであるとすればこの書き替えは平たいということはない fact2: この書き替えは訂正手続きだ fact3: 「差異であるかもしくは勘違いし易くない」物はある fact4: なんらかの物は抜け切るということはないかあるいは掛け替えるかもしくは両方だ fact5: ある物は降伏するか移ろい易くないかもしくはどちらもだ fact6: もしとあるものが訂正手続きでないかあるいは聞き辛くないかまたは両方であるとするとこの書き替えは平たい fact7: あるものは訂正手続きでないかあるいは聞き辛くない fact8: もし仮に「「聞き辛くない」ということは事実な」物があればこの書き替えは平たい ; $hypothesis$ = この書き替えは平たいということはない ; $proof$ = 
fact7 & fact6 -> hypothesis; __DISPROVED__
事実1: もしもこの韓愈が平たくないかもしくはそれが聞き辛いか両方ともであるとすればこの書き替えは平たいということはない
事実2: この書き替えは訂正手続きだ
事実3: 「差異であるかもしくは勘違いし易くない」物はある
事実4: なんらかの物は抜け切るということはないかあるいは掛け替えるかもしくは両方だ
事実5: ある物は降伏するか移ろい易くないかもしくはどちらもだ
事実6: もしとあるものが訂正手続きでないかあるいは聞き辛くないかまたは両方であるとするとこの書き替えは平たい
事実7: あるものは訂正手続きでないかあるいは聞き辛くない
事実8: もし仮に「「聞き辛くない」ということは事実な」物があればこの書き替えは平たい

仮説: この書き替えは平たいということはない
1. 事実7と事実6から、仮説が否定される

よって、仮説が否定されました。