「御理解するとすればわりなくない」物はある
fact1: なにかは御理解するとすればそれはわりなくない fact2: あの学習場面は御理解するとしたら「週刊少年マガジンでない」ということは確かである fact3: 「もし演歌であるとすると割れ易いということはない」ものはある
fact1 -> int1: あの学習場面が御理解するならそれはわりないということはない; int1 -> hypothesis;
$facts$ = fact1: なにかは御理解するとすればそれはわりなくない fact2: あの学習場面は御理解するとしたら「週刊少年マガジンでない」ということは確かである fact3: 「もし演歌であるとすると割れ易いということはない」ものはある ; $hypothesis$ = 「御理解するとすればわりなくない」物はある ; $proof$ = 
fact1 -> int1: あの学習場面が御理解するならそれはわりないということはない; int1 -> hypothesis; __PROVED__
事実1: なにかは御理解するとすればそれはわりなくない
事実2: あの学習場面は御理解するとしたら「週刊少年マガジンでない」ということは確かである
事実3: 「もし演歌であるとすると割れ易いということはない」ものはある

仮説: 「御理解するとすればわりなくない」物はある
1. 事実1から、推論1: "あの学習場面が御理解するならそれはわりないということはない"が導かれる
2. 推論1から、仮説が導かれる

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