あの御良しは当たり易くない
fact1: もしも「その開山は名義でないし心深くない」ということは成り立つということはないとしたら読み違える fact2: 「その開山は名義でないし心深くない」ということは間違っている fact3: その開山は当たり易い fact4: もしもその開山が読み違えるならあの御良しは当たり易い fact5: 「その開山は名義であるがしかしそれは心深くない」ということは真実でない
fact1 & fact2 -> int1: その開山は読み違える; int1 & fact4 -> hypothesis;
$facts$ = fact1: もしも「その開山は名義でないし心深くない」ということは成り立つということはないとしたら読み違える fact2: 「その開山は名義でないし心深くない」ということは間違っている fact3: その開山は当たり易い fact4: もしもその開山が読み違えるならあの御良しは当たり易い fact5: 「その開山は名義であるがしかしそれは心深くない」ということは真実でない ; $hypothesis$ = あの御良しは当たり易くない ; $proof$ = 
fact1 & fact2 -> int1: その開山は読み違える; int1 & fact4 -> hypothesis; __DISPROVED__
事実1: もしも「その開山は名義でないし心深くない」ということは成り立つということはないとしたら読み違える
事実2: 「その開山は名義でないし心深くない」ということは間違っている
事実3: その開山は当たり易い
事実4: もしもその開山が読み違えるならあの御良しは当たり易い
事実5: 「その開山は名義であるがしかしそれは心深くない」ということは真実でない

仮説: あの御良しは当たり易くない
1. 事実1と事実2から、推論1: "その開山は読み違える"が導かれる
2. 推論1と事実4から、仮説が否定される

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