「もし「救急である」ということは事実であるならばさり気無い」ものはある
fact1: 眠たいものは男の子らしい fact2: もしもこの調教者は発生し難いとすると「それは救急である」ということは誤りでない fact3: もし仮にこのシャンソンは救急であるとしたらそれはさり気無い
fact3 -> hypothesis;
もしその成算が眠たいとすればそれは男の子らしい
fact4 -> hypothesis;
$facts$ = fact1: 眠たいものは男の子らしい fact2: もしもこの調教者は発生し難いとすると「それは救急である」ということは誤りでない fact3: もし仮にこのシャンソンは救急であるとしたらそれはさり気無い ; $hypothesis$ = 「もし「救急である」ということは事実であるならばさり気無い」ものはある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 眠たいものは男の子らしい
事実2: もしもこの調教者は発生し難いとすると「それは救急である」ということは誤りでない
事実3: もし仮にこのシャンソンは救急であるとしたらそれはさり気無い

仮説: 「もし「救急である」ということは事実であるならばさり気無い」ものはある
1. 事実3から、仮説が導かれる

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