「その政社組織は切り過ぎないけれど誘発し易い」ということは成り立たない
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から、仮説が導かれる

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